Uses of Class
it.univr.di.cstnu.algorithms.CSTN

Packages that use CSTN

Package	Description
it.univr.di.cstnu.algorithms	Contains all checking algorithms for (C)STN(U)s.
it.univr.di.cstnu.visualization	Contains all classes to implement a simple graphical editor for (C)STN(U)s instances.

Uses of CSTN in it.univr.di.cstnu.algorithms

Subclasses of CSTN in it.univr.di.cstnu.algorithms

Modifier and Type	Class	Description
class	CSTN2CSTN0	Simple class to represent and check Conditional Simple Temporal Network, assuming epsilon semantics and reducing an instance to an appropriate CSTN where DC checking is made, assuming instantaneous reaction semantics.
class	CSTNEpsilon	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNEpsilon3R	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNEpsilon3RwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNEpsilonwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNIR	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNIR3R	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNIR3RwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNIRwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
class	CSTNPotential	Represents a Conditional Simple Temporal Network (CSTN), and it contains a method to check the dynamic consistency of the instance.
class	CSTNwoNodeLabel	A simple class is used to represent and check a Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.

Methods in it.univr.di.cstnu.algorithms with parameters of type CSTN

Modifier and Type	Method	Description
(package private) static void	CSTN.defaultMain(String[] args, CSTN cstn, String kindOfChecking)

Uses of CSTN in it.univr.di.cstnu.visualization

Fields in it.univr.di.cstnu.visualization declared as CSTN

Modifier and Type	Field	Description
(package private) CSTN	TNEditor.cstn	CSTN checker