Modifier and Type  Class and Description 

class 
AbsXeqY
Constraints X #= Y

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 
AndBoolSimple
If both a and b are equal 1 then result variable is equal 1 too.

class 
AndBoolVector 
class 
ArgMax
ArgMax constraint provides the index of the maximum
variable from all variables on the list.

class 
ArgMin
ArgMin constraint provides the index of the maximum
variable from all variables on the list.

class 
Assignment
Assignment constraint implements facility to improve channeling constraints
between dual viewpoints of permutation models.

class 
AtLeast 
class 
AtMost 
class 
BoolClause
I defines a boolean clause for 0/1 variables x_i and y_i.

class 
ChannelImply
ChannelImply constraints "B => constraint".

class 
ChannelReif
ChannelReif constraints "constraint" <=> B.

class 
Circuit
Circuit constraint assures that all variables build a Hamiltonian
circuit.

class 
Conditional
Conditional constraint implements conditional constraint
satisfiability.

class 
Count
Count constraint implements the counting over number of occurrences of
a given value in a list of variables.

class 
CountBounds
CountBounds constraint implements the counting over number of occurrences of
a given value in a list of variables.

class 
CountValues 
class 
CountValuesBounds
CountValuesBounds constraint implements the counting over numbers of occurrences of a given
vector of values in a list of variables.

class 
CountVar 
class 
Cumulative
Cumulative implements the cumulative/4 constraint using edgefinding
algorithm and profile information on the resource use.

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 
Eq
Constraint "constraint1"#<=> "constraint2"

class 
EqBool
If all x's are equal to each other then result variable is equal 1.

class 
ExtensionalSupportMDD
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 
IfThenBool
Constraint ( X => Y ) <=> Z.

class 
IfThenElse
Constraint if constraint1 then constraint2 else constraint3
*

class 
Implies 
class 
In
Constraints X to belong to a specified domain.

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

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

class 
LinearInt 
class 
LinearIntDom
LinearIntDom constraint implements the weighted summation over several
variables.

class 
Max
Max constraint implements the Maximum/2 constraint.

class 
MaxSimple
MaxSimple constraint implements the Maximum/2 constraint.

class 
Member
Member constraint implements the membership of element e on list x.

class 
Min
Min constraint implements the minimum/2 constraint.

class 
MinSimple
MinSimple constraint implements the minimum/2 constraint.

class 
Not
Constraint "not costraint"

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

class 
OrBoolSimple
If at least one variable is equal 1 then result variable is equal 1 too.

class 
OrBoolVector
If at least one variable from the list is equal 1 then result variable is equal 1 too.

class 
PrimitiveConstraint
Standard unified interface for all primitive constraints.

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

class 
Sum 
class 
SumBool 
class 
SumInt
SumInt constraint implements the summation over several variables.

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

class 
ValuePrecede 
class 
Values
Constraint Values counts number of different values on a list of Variables.

class 
XdivYeqZ
Constraint X div Y #= Z

class 
XeqC 
class 
XeqY
Constraints X #= Y

class 
XexpYeqZ
Constraint X ^ Y #= Z

class 
XgtC
Constraint X > C

class 
XgteqC
Constraints X >= C

class 
XgteqY
Constraints X >= Y

class 
XgtY
Constraint X > Y

class 
XltC
Constraint X < C

class 
XlteqC
Constraint X <= C

class 
XlteqY
Constraint X <= Y

class 
XltY
Constraint X < Y

class 
XmodYeqZ 
class 
XmulCeqZ 
class 
XmulYeqC
Constraint X * Y #= C

class 
XmulYeqZ 
class 
XneqC 
class 
XneqY
Constraints X #\= Y

class 
Xor
Xor constraint  xor("constraint", B).

class 
XorBool
Constraint ( x_0 xor x_1 xor ...

class 
XplusCeqZ
Constraint X + C #= Z.

class 
XplusClteqZ
Constraints X + C<= Z.

class 
XplusYeqC
Constraint X + Y #= C

class 
XplusYeqZ
Constraint X + Y = Z

class 
XplusYgtC
Constraint X + Y> C

class 
XplusYlteqZ
Constraint X + Y=< Z

Modifier and Type  Class and Description 

class 
Binpacking
Binpacking constraint implements bin packing problem.

Modifier and Type  Class and Description 

class 
Knapsack
It specifies a knapsack constraint.

Modifier and Type  Class and Description 

class 
SimpleTable
SimpleTable implements the table constraint using a method presented in

Modifier and Type  Class and Description 

class 
AbsPeqR
Constraints P #= R

class 
AcosPeqR
Constraints acos(P) = R

class 
AsinPeqR
Constraints asin(P) = R

class 
AtanPeqR
Constraints atan(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 
ExpPeqR
Constraints exp(P) #= Q for P and Q floats

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

class 
LnPeqR
Constraints Ln(P) #= Q for P and Q floats

class 
PdivCeqR
Constraint P / C = R for floats

class 
PdivQeqR
Constraint P / Q = R for floats

class 
PeqC
Constraints P #= C

class 
PeqQ
Constraints P #= Q for P and Q floats

class 
PgtC
Constraint P > C

class 
PgteqC
Constraints P >= C for floats

class 
PgteqQ
Constraints P >= Q for floats

class 
PgtQ
Constraint P > Q for floats

class 
PltC
Constraint P < C for floats

class 
PlteqC
Constraint X <= C for floats

class 
PlteqQ
Constraint P <= Q for floats

class 
PltQ
Constraint P < Q for floats

class 
PminusCeqR
Constraint P  C = R

class 
PminusQeqR
Constraint P  Q = R

class 
PmulCeqR
Constraint P * C = R for floats

class 
PmulQeqR
Constraint P * Q = R for floats

class 
PneqC
Constraints P != C

class 
PneqQ
Constraints P #= Q for P and Q floats

class 
PplusCeqR
Constraint P + C #= R

class 
PplusQeqR
Constraint P + Q = R

class 
SinPeqR
Constraints sin(P) = R

class 
SqrtPeqR
Constraint sqrt(P) = R for floats

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

class 
TanPeqR
Constraints sin(P) = R

class 
XeqP
Constraints X #= P for X and P floats

Modifier and Type  Class and Description 

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

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 
AeqB
It creates an equality constraint to make sure that two set variables
have the same value.

class 
AeqS
It creates an equality constraint to make sure that a set variable
is equal to a given set.

class 
AinB
It creates a constraint that makes sure that the set value of set variable A is included
in the set value of set variable B.

class 
AinS
It creates a constraint that makes sure that value of the variable A is included within
a provided set.

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

class 
AleB
It creates a <= b constraint on two set variables.

class 
AltB
It creates a < b constraint on two set variables.

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

class 
CardA
The set cardinality constraint.

class 
CardAeqX
The set cardinality constraint.

class 
EinA
It constructs a constraint which makes sure that a given element is
in the domain of the set variable.

class 
ElementSet
It is an element constraint that make sure that set variable value has a domain equal to
the indexth element of the supplied list of sets.

class 
Match
This constraint matches the elements of the given set variable
onto a list of integer variables.

class 
SinA
It creates an inclusion set constraint to make sure that provided set is
included in a set variable a.

class 
SumWeightedSet
It computes a weighted sum of the elements in the domain of the given set variable.

class 
XeqA
It creates a constraint that makes sure that the value assigned to the integer variable x
is the only element of the set assigned to a set variable a.

class 
XinA
It creates a constraint that makes sure that the value assigned to integer variable x is
included in the set assigned to the set variable a.

Copyright © 2022. All rights reserved.