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 |
If all x's are equal 1 then result variable is equal 1 too.
|
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 |
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 |
Channel |
Channel 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 |
CountValues constraint implements the counting over numbers of occurrences of a given
vector of values in a list of variables.
|
class |
CountValuesBounds |
CountValuesBounds constraint implements the counting over numbers of occurrences of a given
vector of values 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 |
Cumulative |
Cumulative implements the cumulative/4 constraint using edge-finding
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 |
ElementIntegerFast constraint defines a relation
list[index - indexOffset] = value.
|
class |
ElementVariable |
ElementVariable constraint defines a relation
list[index - indexOffset] = value.
|
class |
ElementVariableFast |
ElementVariableFast constraint defines a relation
list[index - indexOffset] = value.
|
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 |
Constraint b => c (implication or half-reification)
|
class |
In |
Constraints X to belong to a specified domain.
|
class |
LexOrder |
It constructs a LexOrder (lexicographical order) constraint.
|
class |
Linear |
Deprecated.
|
class |
LinearInt |
LinearInt constraint implements the weighted summation over several
variables .
|
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 |
Reified constraints "constraint" <=> B
|
class |
Subcircuit |
Subcircuit constraint assures that all variables build a
subcircuit.
|
class |
Sum |
Deprecated.
|
class |
SumBool |
SumBool constraint implements the summation over several
0/1 variables.
|
class |
SumInt |
SumInt constraint implements the summation over several variables.
|
class |
SumWeight |
SumWeight constraint implements the weighted summation over several
variables .
|
class |
SumWeightDom |
Deprecated.
|
class |
ValuePrecede |
It defines Value Precedence constraint for integers.
|
class |
Values |
Constraint Values counts number of different values on a list of Variables.
|
class |
XdivYeqZ |
Constraint X div Y #= Z
|
class |
XeqC |
Constraints X #= C
|
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 |
Constraint X mod Y = Z
|
class |
XmulCeqZ |
Constraint X * C #= Z
|
class |
XmulYeqC |
Constraint X * Y #= C
|
class |
XmulYeqZ |
Constraint X * Y #= Z
|
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
|