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.
|