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.satwrapper
org.jacop.set.constraints

Uses of Stateful in org.jacop.constraints

Classes in org.jacop.constraints that implement Stateful

Modifier and Type	Class and 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.
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.
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.
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 and 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 and Description
class	Geost

Uses of Stateful in org.jacop.constraints.netflow

Classes in org.jacop.constraints.netflow that implement Stateful

Modifier and Type	Class and 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 and 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 and 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 and Description
interface	MutableVar Standard mutable variable definition

Classes in org.jacop.core that implement Stateful

Modifier and Type	Class and 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 and 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 and 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 and 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.satwrapper

Classes in org.jacop.satwrapper that implement Stateful

Modifier and Type	Class and 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 and 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.