class |
AbsXeqY |
Constraints |X| #= Y
|
class |
And |
Constraint c1 /\ c2 ...
|
class |
AndBoolSimple |
If both a and b are equal 1 then result variable is equal 1 too.
|
class |
AndBoolVector |
If all x's are equal 1 then result variable is equal 1 too.
|
class |
AtLeast |
AtLeast constraint implements the counting over number of occurrences of
a given value in a list of variables.
|
class |
AtMost |
AtMost constraint implements the counting over number of occurrences of
a given value in a list of variables.
|
class |
BoolClause |
I defines a boolean clause for 0/1 variables x_i and y_i.
|
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 |
CountVar |
CountVar constraint implements the counting over number of occurrences of
a given value in a list of variables.
|
class |
Distance |
Constraint |X - Y| #= Z
|
class |
Eq |
Constraint "constraint1"#<=> "constraint2"
|
class |
EqBool |
If all x's are equal to each other then result variable is equal 1.
|
class |
IfThen |
Constraint if constraint1 then constraint2
|
class |
IfThenBool |
Constraint ( X => Y ) <=> Z.
|
class |
IfThenElse |
Constraint if constraint1 then constraint2 else constraint3
*
|
class |
Implies |
Constraint b => c (implication or half-reification)
|
class |
In |
Constraints X to belong to a specified domain.
|
class |
LinearInt |
LinearInt constraint implements the weighted summation over several
variables .
|
class |
LinearIntDom |
LinearIntDom constraint implements the weighted summation over several
variables.
|
class |
Member |
Member constraint implements the membership of element e on list x.
|
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 |
Reified constraints "constraint" <=> B
|
class |
SumBool |
SumBool constraint implements the summation over several
0/1 variables.
|
class |
SumInt |
SumInt constraint implements the summation over several variables.
|
class |
XeqC |
Constraints X #= C
|
class |
XeqY |
Constraints X #= Y
|
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 |
XmulCeqZ |
Constraint X * C #= Z
|
class |
XmulYeqC |
Constraint X * Y #= C
|
class |
XneqC |
Constraints X #\= C
|
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
|