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