A | |
| algo [Alldiff] | |
| attr [Var.BASICFD] |
Type of attributes.
|
B | |
| bb_mode [Goals] | |
C | |
| concrete [Var] | |
D | |
| domain [Var.BASICFD] |
Type of domains.
|
| domain [Var.ATTR] |
Type of domains stored in attributes.
|
E | |
| elt [Invariant.FD] |
Type of elements in the domain.
|
| elt [Var.BASICFD] |
Type of elements of domains.
|
| elt [Var.ATTR] |
Type of element of domains.
|
| elt [SetDomain] |
Type of elements of set domains.
|
| elt [Domain] |
Type of element of domains (for generic interface,
).
|
| event [Var.BASICFD] |
Type of domain reduction events.
|
| event [Var.ATTR] |
Type of events (modifications on variables) on which to suspend.
|
F | |
| fd [Invariant.FD] |
Type of a finite domain variable.
|
L | |
| level [Gcc] | |
| level [Stak] |
Type of a level in the stack.
|
P | |
| priority [Cstr] |
Type of waking priority.
|
R | |
| ref [Stak] |
Backtrackable reference of type
'a.
|
S | |
| setable [Invariant] | |
| setable_t [Invariant] | |
T | |
| t [Goals] |
The type of goals.
|
| t [Arith] |
Type of arithmetic expressions over variables of type
Var.Fd.t and
integers.
|
| t [Invariant] | |
| t [Var.BASICFD] |
Type of finite domain variable.
|
| t [Var.ATTR] |
Type of attributes.
|
| t [Cstr] |
The type of constraints.
|
| t [Data.Hashtbl] | |
| t [SetDomain.S] | |
| t [SetDomain] |
Type of finite domains of integer sets: a domain is a powerset lattice
of sets bounded by definite elements or glb (Greater Lower Bound) and
possible elements or lub (Lower Upper Bounds).
|
| t [Domain] |
Type of finite domains of integers (functional: no in-place
modifications, domains can be shared).
|
U | |
| unsetable [Invariant] | |
| unsetable_t [Invariant] |
Type of BIRs.
|