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
|