A | |
| Alldiff |
the "All Different" Constraint
|
| Arith |
Arithmetic Expressions and Constraints
|
| Array [Goals] | |
| Array [Invariant] | |
| Array [Data] |
Bactrackable arrays.
|
| Attr [Var] | |
C | |
| Conjunto [Goals] | |
| Conjunto |
Constraints on Finite Sets
|
| Cstr |
Posting Constraints and Building New Ones
|
D | |
| Data |
Bactrackable Data Structures
|
| Domain |
Domain Operations
|
F | |
| Fd [Invariant] |
Module for accessing finite integer domain variables with BIRs.
|
| Fd [Var] |
Concrete finite domain variable module.
|
| FdArray |
Constraints over Arrays of Variables
|
G | |
| Gcc |
Global Cardinality Constraint
|
| Goals |
Building and Solving Goals
|
H | |
| Hashtbl [Data] |
Bactrackable hashtables.
|
I | |
| Interval |
Variable Membership to an Interval
|
| Invariant |
Backtrackable Invariant References
|
L | |
| List [Goals] | |
R | |
| Reify |
Constraints Reification
|
S | |
| S [SetDomain] |
Implementation of sets of integers.
|
| SetAttr [Var] | |
| SetDomain |
Integer Set Domain Operations
|
| SetFd [Invariant] |
Module for accessing set domain variables with BIRs.
|
| SetFd [Var] |
Concrete integer set variable module.
|
| Sorting |
Sorting Constraint
|
| Stak |
Global Stack of Goals, Backtrackable Operations
|
V | |
| Var |
Constrained, Attributed, Finite Domain Variables
|