Index of types


A
agg_op [Fcl_expr]
algo [Fcl_alldiff]
algo [Facile.Alldiff]
attr [Fcl_var.BASICFD]
Type of attributes.
attr [Facile.Var.BASICFD]

B
bb_mode [Fcl_goals]
bb_mode [Facile.Goals]
bin_op [Fcl_expr]

C
concrete [Fcl_var]
concrete [Facile.Var]
concrete' [Facile.Easy]
concrete_fd [Facile.Easy]

D
domain [Fcl_var.BASICFD]
Type of domains.
domain [Fcl_var.ATTR]
Type of domains stored in attributes.
domain [Facile.Var.BASICFD]
domain [Facile.Var.ATTR]

E
elt [Fcl_var.BASICFD]
Type of elements of domains.
elt [Fcl_var.ATTR]
Type of element of domains.
elt [Fcl_setDomain]
Type of elements of set domains.
elt [Fcl_invariant.FD]
Type of elements in the domain.
elt [Fcl_float]
elt [Fcl_domain]
Type of element of domains (for generic interface, ).
elt [Facile.Invariant.FD]
elt [Facile.Var.BASICFD]
elt [Facile.Var.ATTR]
elt [Facile.SetDomain]
elt [Facile.Domain]
event [Fcl_var.BASICFD]
Type of domain reduction events.
event [Fcl_var.ATTR]
Type of events (modifications on variables) on which to suspend.
event [Facile.Var.BASICFD]
event [Facile.Var.ATTR]

F
fd [Fcl_invariant.FD]
Type of a finite domain variable.
fd [Facile.Invariant.FD]

L
level [Fcl_stak]
Type of a level in the stack.
level [Fcl_gcc]
level [Facile.Gcc]
level [Facile.Stak]

M
mode [Fcl_opti]
mode [Facile.Opti]

O
operator [Fcl_linear]

P
priority [Fcl_cstr]
Type of waking priority.
priority [Facile.Cstr]

R
ref [Fcl_stak]
Backtrackable reference of type 'a.
ref [Facile.Stak]

S
setable [Fcl_invariant]
setable [Facile.Invariant]
setable_t [Fcl_invariant]
setable_t [Facile.Invariant]

T
t [Fcl_var.BASICFD]
Type of finite domain variable.
t [Fcl_var.ATTR]
Type of attributes.
t [Fcl_setDomain.S]
t [Fcl_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 [Fcl_invariant]
t [Fcl_goals]
The type of goals.
t [Fcl_float]
t [Fcl_expr]
t [Fcl_domain]
Type of finite domains of integers (functional: no in-place modifications, domains can be shared).
t [Fcl_data.Hashtbl]
t [Fcl_cstr]
The type of constraints.
t [Fcl_arith]
Type of arithmetic expressions over variables of type Var.Fd.t and integers.
t [Facile.Invariant]
t [Facile.Arith]
t [Facile.Expr]
t [Facile.Goals]
t [Facile.Var.BASICFD]
t [Facile.Var.ATTR]
t [Facile.Cstr]
t [Facile.Data.Hashtbl]
t [Facile.SetDomain.S]
t [Facile.SetDomain]
t [Facile.Domain]

U
un_op [Fcl_expr]
unsetable [Fcl_invariant]
unsetable [Facile.Invariant]
unsetable_t [Fcl_invariant]
Type of BIRs.
unsetable_t [Facile.Invariant]

V
var [Fcl_expr]