|
Class Summary |
| 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. |
| AdisjointB |
The disjoint set constraint makes sure that two set variables
do not contain any common element. |
| AeqB |
It creates an equality constraint to make sure that two set variables
have the same value. |
| AeqS |
It creates an equality constraint to make sure that a set variable
is equal to a given set. |
| 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. |
| AinS |
It creates a constraint that makes sure that value of the variable A is included within
a provided set. |
| AintersectBeqC |
It creates a constraint that makes sure that A intersected with B
is equal to C. |
| AunionBeqC |
It creates a constraint that makes sure that A union B is equal to C. |
| CardA |
The set cardinality constraint. |
| CardAeqX |
The set cardinality constraint. |
| EinA |
It constructs a constraint which makes sure that a given element is
in the domain of the set variable. |
| ElementSet |
It is an element constraint that make sure that set variable value has a domain equal to
the index-th element of the supplied list of sets. |
| Lex |
It creates a lex constraint on a list of set variables. |
| Match |
This constraint matches the elements of the given set variable
onto a list of integer variables. |
| SinA |
It creates an inclusion set constraint to make sure that provided set is
included in a set variable a. |
| SumWeightedSet |
It computes a weighted sum of the elements in the domain of the given set variable. |
| 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. |
| 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. |