Index of types

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

Type of attributes.

B
bb_mode [Facile.Goals]
bb_mode [Fcl_goals]
bin_op [Fcl_expr]
C
concrete [Facile.Var]
concrete [Fcl_var]
concrete' [Facile.Easy]
concrete_fd [Facile.Easy]
D
domain [Facile.Var.BASICFD]
domain [Facile.Var.ATTR]
domain [Fcl_var.BASICFD]

Type of domains.

domain [Fcl_var.ATTR]

Type of domains stored in attributes.

E
elt [Facile.Invariant.FD]
elt [Facile.Var.BASICFD]
elt [Facile.Var.ATTR]
elt [Facile.SetDomain]
elt [Facile.Domain]
elt [Fcl_invariant.FD]

Type of elements in the domain.

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_domain]

Type of element of domains (for generic interface, ).

elt [Fcl_float]
event [Facile.Var.BASICFD]
event [Facile.Var.ATTR]
event [Fcl_var.BASICFD]

Type of domain reduction events.

event [Fcl_var.ATTR]

Type of events (modifications on variables) on which to suspend.

F
fd [Facile.Invariant.FD]
fd [Fcl_invariant.FD]

Type of a finite domain variable.

L
level [Facile.Gcc]
level [Facile.Stak]
level [Fcl_gcc]
level [Fcl_stak]

Type of a level in the stack.

M
mode [Facile.Opti]
mode [Fcl_opti]
O
operator [Fcl_linear]
P
priority [Facile.Cstr]
priority [Fcl_cstr]

Type of waking priority.

R
ref [Facile.Stak]
ref [Fcl_stak]

Backtrackable reference of type 'a.

S
setable [Facile.Invariant]
setable [Fcl_invariant]
setable_t [Facile.Invariant]
setable_t [Fcl_invariant]
T
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]
t [Fcl_goals]

The type of goals.

t [Fcl_arith]

Type of arithmetic expressions over variables of type Var.Fd.t and integers.

t [Fcl_expr]
t [Fcl_invariant]
t [Fcl_var.BASICFD]

Type of finite domain variable.

t [Fcl_var.ATTR]

Type of attributes.

t [Fcl_cstr]

The type of constraints.

t [Fcl_data.Hashtbl]
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_domain]

Type of finite domains of integers (functional: no in-place modifications, domains can be shared).

t [Fcl_float]
U
un_op [Fcl_expr]
unsetable [Facile.Invariant]
unsetable [Fcl_invariant]
unsetable_t [Facile.Invariant]
unsetable_t [Fcl_invariant]

Type of BIRs.

V
var [Fcl_expr]