| Domain |
Domain Operations
|
| SetDomain |
Integer Set Domain Operations
|
| Stak |
Global Stack of Goals, Backtrackable Operations
|
| Data |
Bactrackable Data Structures
|
| Cstr |
Posting Constraints and Building New Ones
|
| Var |
Constrained, Attributed, Finite Domain Variables
|
| Invariant |
Backtrackable Invariant References
|
| Reify |
Constraints Reification
|
| Arith |
Arithmetic Expressions and Constraints
|
| Conjunto |
Constraints on Finite Sets
|
| Goals |
Building and Solving Goals
|
| FdArray |
Constraints over Arrays of Variables
|
| Gcc |
Global Cardinality Constraint
|
| Alldiff |
the "All Different" Constraint
|
| Sorting |
Sorting Constraint
|
| Interval |
Variable Membership to an Interval
|