Uses of Interface
org.jacop.api.Stateful
Packages that use Stateful
Package
Description
-
Uses of Stateful in org.jacop.constraints
Classes in org.jacop.constraints that implement StatefulModifier and TypeClassDescriptionclass
Constraints |X| #= Yclass
Alldistinct constraint assures that all FDVs have different values.class
Among constraint in its simplest form.class
Among constraint in its general form.class
Assignment constraint implements facility to improve channeling constraints between dual viewpoints of permutation models.class
Circuit constraint assures that all variables build a Hamiltonian circuit.(package private) class
Defines a Variable for Circuit constraints and related operations on it.class
Diff constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
Diff2 constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.(package private) class
Defines a Variable for Diff2 constraints and related operations on it.class
Disjoint constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.class
DisjointConditional constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction.(package private) class
Defines a Variable for Diff2 constraints and related operations on it.class
Constraint |X - Y| #= Zclass
ElementInteger constraint defines a relation list[index - indexOffset] = value.class
class
ElementVariable constraint defines a relation list[index - indexOffset] = value.class
class
Extensional constraint assures that none of the tuples explicitly given is enforced in the relation.class
Extensional constraint assures that one of the tuples is enforced in the relation.class
Extensional constraint assures that one of the tuples is enforced in the relation.class
GCC constraint counts the number of occurences of given values in x variables.class
It constructs a LexOrder (lexicographical order) constraint.class
-
Uses of Stateful in org.jacop.constraints.binpacking
Classes in org.jacop.constraints.binpacking that implement StatefulModifier and TypeClassDescriptionclass
Binpacking constraint implements bin packing problem. -
Uses of Stateful in org.jacop.constraints.geost
Classes in org.jacop.constraints.geost that implement Stateful -
Uses of Stateful in org.jacop.constraints.netflow
Classes in org.jacop.constraints.netflow that implement Stateful -
Uses of Stateful in org.jacop.constraints.regular
Classes in org.jacop.constraints.regular that implement StatefulModifier and TypeClassDescriptionclass
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 StatefulModifier and TypeClassDescriptionclass
SimpleTable implements the table constraint using a method presented inclass
Table implements the table constraint using a method presented in -
Uses of Stateful in org.jacop.core
Subinterfaces of Stateful in org.jacop.coreClasses in org.jacop.core that implement StatefulModifier and TypeClassDescriptionclass
class
TimeStamp<T>
This class provides mutable variable functionality.Fields in org.jacop.core with type parameters of type StatefulModifier and TypeFieldDescriptionStore.removeLevelListeners
More advanced constraints may require to be informed of a backtrack to be able to recover the older versions of the data structures.Store.timeStamps
TimeStamp variable is a simpler version of a mutable variable.Methods in org.jacop.core with parameters of type StatefulModifier and TypeMethodDescriptionint
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 StatefulModifier and TypeClassDescriptionclass
Constraints |P| #= Rclass
Constraints acos(P) = Rclass
Constraints asin(P) = Rclass
Constraints cos(P) = Rclass
ElementFloat constraint defines a relation list[index - indexOffset] = value.class
ElementFloatVariable constraint defines a relation list[index - indexOffset] = value.class
Constraints sin(P) = R -
Uses of Stateful in org.jacop.floats.constraints.linear
Classes in org.jacop.floats.constraints.linear that implement StatefulModifier and TypeClassDescription(package private) class
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 StatefulModifier and TypeClassDescriptionfinal class
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 StatefulModifier and TypeClassDescriptionclass
ElementSetVariable constraint defines a relation list[index - indexOffset] = value.class
Deprecated.As of release 4.5.1 replaced by AltB and AleB constraints.