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

class 
Binpacking
Binpacking constraint implements bin packing problem.

Modifier and Type  Class and Description 

class 
Geost 
Modifier and Type  Class and Description 

class 
NetworkFlow
The network flow constraint.

Modifier and Type  Class and Description 

class 
Regular
Regular constraint accepts only the assignment to variables which is accepted by
an automaton.

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

Modifier and Type  Interface and Description 

interface 
MutableVar
Standard mutable variable definition

Modifier and Type  Class and Description 

class 
MutableDomain 
class 
TimeStamp<T>
This class provides mutable variable functionality.

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.

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.

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

Modifier and Type  Class and Description 

class 
SatWrapper
wrapper to communicate between SAT solver and CP solver.

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.

Copyright © 2022. All rights reserved.