Index of types


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.