Modifier and Type  Class and Description 

class 
Alldiff
Alldiff constraint assures that all FDVs has different values.

class 
Alldifferent
Alldifferent constraint assures that all FDVs has differnet values.

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 
And
Constraint c1 /\ c2 ...

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 
Element
Element constraint implements the element/4 constraint (both with integer
list and variables list).

class 
ElementInteger
ElementInteger constraint defines a relation
list[index  indexOffset] = value.

class 
ElementVariable
ElementVariable constraint defines a relation
list[index  indexOffset] = value.

class 
Eq
Constraint "constraint1"#<=> "constraint2"

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 
IfThen
Constraint if constraint1 then constraint2

class 
IfThenElse
Constraint if constraint1 then constraint2 else constraint3
*

class 
Implies 
class 
LexOrder
It constructs a LexOrder (lexicographical order) constraint.

class 
Linear
Deprecated.
As of release 4.3.1 replaced by LinearInt constraint.

class 
Not
Constraint "not costraint"

class 
Or
Constraint c1 \/ c2 \/ ...

class 
Reified 
class 
Subcircuit
Subcircuit constraint assures that all variables build a
subcircuit.

class 
SumWeight 
class 
SumWeightDom
Deprecated.
As of release 4.3.1 replaced by LinearIntDom constraint.

class 
ValuePrecede 
class 
VariableTrace
VariableTrace is a daemon that prints information on variables whenever they are changed.

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 
Knapsack
It specifies a knapsack constraint.

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

class 
ElementFloat
ElementFloat constraint defines a relation
list[index  indexOffset] = value.

class 
LinearFloat
LinearFloat constraint implements the weighted summation over several
Variable's .

class 
SumFloat
SumFloat constraint implements the weighted summation over several
Variable's .

Modifier and Type  Class and Description 

class 
AdiffBeqC
It creates a constraints that subtracts from set variable A the
elements from of the set variable B and assigns the result to set
variable C.

class 
AdisjointB
The disjoint set constraint makes sure that two set variables
do not contain any common element.

class 
AintersectBeqC
It creates a constraint that makes sure that A intersected with B
is equal to C.

class 
AunionBeqC
It creates a constraint that makes sure that A union B is equal to C.

Copyright © 2022. All rights reserved.