Uses of Interface
org.jacop.api.Stateful
-
-
Uses of Stateful in org.jacop.constraints
Classes in org.jacop.constraints that implement Stateful Modifier and Type Class Description class
AbsXeqY
Constraints |X| #= Yclass
Alldistinct
Alldistinct constraint assures that all FDVs have different values.class
Among
Among constraint in its simplest form.class
AmongVar
Among constraint in its general form.class
Assignment
Assignment constraint implements facility to improve channeling constraints between dual viewpoints of permutation models.class
Circuit
Circuit constraint assures that all variables build a Hamiltonian circuit.(package private) class
CircuitVar
Defines a Variable for Circuit constraints and related operations on it.class
Diff
Diff constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Diff2
Diff2 constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.(package private) class
Diff2Var
Defines a Variable for Diff2 constraints and related operations on it.class
Disjoint
Disjoint constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
DisjointConditional
DisjointConditional constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.(package private) class
DisjointCondVar
Defines a Variable for Diff2 constraints and related operations on it.class
Distance
Constraint |X - Y| #= Zclass
ElementInteger
ElementInteger constraint defines a relation list[index - indexOffset] = value.class
ElementIntegerFast
ElementIntegerFast constraint defines a relation list[index - indexOffset] = value.class
ElementVariable
ElementVariable constraint defines a relation list[index - indexOffset] = value.class
ElementVariableFast
ElementVariableFast constraint defines a relation list[index - indexOffset] = value.class
ExtensionalConflictVA
Extensional constraint assures that none of the tuples explicitly given is enforced in the relation.class
ExtensionalSupportSTR
Extensional constraint assures that one of the tuples is enforced in the relation.class
ExtensionalSupportVA
Extensional constraint assures that one of the tuples is enforced in the relation.class
GCC
GCC constraint counts the number of occurences of given values in x variables.class
ValuePrecede
It defines Value Precedence constraint for integers. -
Uses of Stateful in org.jacop.constraints.binpacking
Classes in org.jacop.constraints.binpacking that implement Stateful Modifier and Type Class Description class
Binpacking
Binpacking constraint implements bin packing problem. -
Uses of Stateful in org.jacop.constraints.geost
Classes in org.jacop.constraints.geost that implement Stateful Modifier and Type Class Description class
Geost
-
Uses of Stateful in org.jacop.constraints.netflow
Classes in org.jacop.constraints.netflow that implement Stateful Modifier and Type Class Description class
NetworkFlow
The network flow constraint. -
Uses of Stateful in org.jacop.constraints.regular
Classes in org.jacop.constraints.regular that implement Stateful Modifier and Type Class Description class
Regular
Regular constraint accepts only the assignment to variables which is accepted by an automaton. -
Uses of Stateful in org.jacop.constraints.table
Classes in org.jacop.constraints.table that implement Stateful Modifier and Type Class Description class
SimpleTable
SimpleTable implements the table constraint using a method presented inclass
Table
Table implements the table constraint using a method presented in -
Uses of Stateful in org.jacop.core
Subinterfaces of Stateful in org.jacop.core Modifier and Type Interface Description interface
MutableVar
Standard mutable variable definitionClasses in org.jacop.core that implement Stateful Modifier and Type Class Description class
MutableDomain
class
TimeStamp<T>
This class provides mutable variable functionality.Fields in org.jacop.core with type parameters of type Stateful Modifier and Type Field Description java.util.Set<Stateful>
Store. removeLevelListeners
More advanced constraints may require to be informed of a backtrack to be able to recover the older versions of the data structures.protected java.util.List<Stateful>
Store. timeStamps
TimeStamp variable is a simpler version of a mutable variable.Methods in org.jacop.core with parameters of type Stateful Modifier and Type Method Description int
Store. putMutableVar(Stateful value)
Any entity (for example constraints) may have their own mutable variables (timestamps) which can be register at store and then store will be responsible for calling appropriate functions from TimeStamp class to keep the variables consistent with the search.boolean
Store. registerRemoveLevelListener(Stateful stateful)
Any constraint in general may need information what variables have changed since the last time a consistency was called. -
Uses of Stateful in org.jacop.floats.constraints
Classes in org.jacop.floats.constraints that implement Stateful Modifier and Type Class Description class
AbsPeqR
Constraints |P| #= Rclass
AcosPeqR
Constraints acos(P) = Rclass
AsinPeqR
Constraints asin(P) = Rclass
CosPeqR
Constraints cos(P) = Rclass
ElementFloat
ElementFloat constraint defines a relation list[index - indexOffset] = value.class
ElementFloatVariable
ElementFloatVariable constraint defines a relation list[index - indexOffset] = value.class
SinPeqR
Constraints sin(P) = R -
Uses of Stateful in org.jacop.floats.constraints.linear
Classes in org.jacop.floats.constraints.linear that implement Stateful Modifier and Type Class Description (package private) class
BoundsVar
Defines a variable for Linear constraints to keep intermediate bounds values -
Uses of Stateful in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement Stateful Modifier and Type Class Description class
SatWrapper
wrapper to communicate between SAT solver and CP solver. -
Uses of Stateful in org.jacop.set.constraints
Classes in org.jacop.set.constraints that implement Stateful Modifier and Type Class Description class
ElementSetVariable
ElementSetVariable constraint defines a relation list[index - indexOffset] = value.class
Lex
Deprecated.As of release 4.5.1 replaced by AltB and AleB constraints.
-