Uses of Interface
org.jacop.api.Stateful

Packages that use Stateful

Package	Description
org.jacop.constraints
org.jacop.constraints.binpacking
org.jacop.constraints.geost
org.jacop.constraints.netflow
org.jacop.constraints.regular
org.jacop.constraints.table
org.jacop.core
org.jacop.floats.constraints
org.jacop.floats.constraints.linear
org.jacop.satwrapper
org.jacop.set.constraints

Uses of Stateful in org.jacop.constraints

Classes in org.jacop.constraints that implement Stateful

Modifier and Type	Class	Description
class	AbsXeqY	Constraints |X| #= Y
class	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| #= Z
class	ElementInteger	ElementInteger constraint defines a relation list[index - indexOffset] = value.
class	ElementIntegerFast
class	ElementVariable	ElementVariable constraint defines a relation list[index - indexOffset] = value.
class	ElementVariableFast
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	LexOrder	It constructs a LexOrder (lexicographical order) constraint.
class	ValuePrecede

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 in
class	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 definition

Classes 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
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 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| #= R
class	AcosPeqR	Constraints acos(P) = R
class	AsinPeqR	Constraints asin(P) = R
class	CosPeqR	Constraints cos(P) = R
class	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
final 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.