CSTNU-Tool 4.12 API

The goal of this open-source project is to offer:

• a JAVA library for representing and checking temporal constraint networks of type: STN, STNU, CSTN, CSTNU, and CSTNPSU;
• a graphical JAVA editor for designing and checking (C)STN(PS)(U) instances from scratch.

Packages

Package	Description
it.univr.di	Contains the two packages that realize the framework for verifying the consistency/controllability of temporal constraint networks.
it.univr.di.cstnu.algorithms	Contains all checking algorithms for (C)STN(U)s.
it.univr.di.cstnu.graph	Contains all classes for representing vertices, edges and graphs related to (C)STN(U) model.
it.univr.di.cstnu.util	Contains all actor classes for the implementation and/or the use of (C)STN(U)s algorithms.
it.univr.di.cstnu.visualization	Contains all classes to implement a simple graphical editor for (C)STN(U)s instances.
it.univr.di.labeledvalue	Provides the classes necessary to manage labeled value maps.