All Packages

Package Summary

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.