Index

(&&~), 2.5
(&&~~), 2.4.4
(=>~~), 2.4.4
(=~), 2.4.2
(=~~), 2.4.4
(>=~), 2.4.2
(>=~~), 2.4.4
(>~), 2.4.2
(>~~), 2.4.4
(<=>~~), 2.4.4
(<=~), 2.4.2
(<=~~), 2.4.4
(<>~), 2.4.2
(<>~~), 2.4.4
(<~), 2.4.2
(<~~), 2.4.4
(-~), 2.3
(%~), 2.3
(||~), 2.5
(||~~), 2.4.4
(+~), 2.3
(/~), 2.3
(**~), 2.3
(*~), 2.3
abs, 2.3
active_store, 2.4.1, 2.5
algo type, 2.4.3
argmin, 3.5.3
arithmetic expressions, 1.1, 1.2, 2.3, 2.3
- access, 2.3
- creation, 2.3
- operators, 2.3
array, 1.2, 2.2
atomic, 3.4.1
BASICFD, 2.7
BIR, 3.5
backtrackable invariant reference, 3.5
bb_mode type, 2.6
boolean
- Domain, 2.1
- Reify, 2.4.4
cardinal
- Conjunto, 2.7.3
- SetDomain.S, 2.7.3
choose, 2.5
choose_index, 3.1.2
compare, 2.2
concrete_fd type, 2.2
constant, 3.5.1
constraints, 2.4, 2.4.4
- arithmetic, 2.4.2
  - overflow, 2.4.2
- control, 3.2, 3.2.4
- creation, 2.4.1
- events, 2.4.1, 3.2.1, 3.2.3
- global, 2.4.3
- post, 1.1, 2.4.1
- priority, 3.2.3
- reification, 2.4.4
- store, 2.4.1, 3.2.4
- user's defined, 3.3, 3.3
constraints_number, 2.2
create, 3.2.2, 3.5.1
- Invariant, 3.5.1
- Domain, 1.1, 2.1
- Var.Fd, 1.1, 2.2
cstr
- Alldiff, 1.2, 2.4.3
- Gcc, 2.4.3
- Sorting, 2.4.3
delay, 3.2.2
difference
- Domain, 2.1
disjoint
- Conjunto, 2.7.3
dom, 2.2
domains, 2.1, 2.1
Easy module, 4.1
e2fd, 2.3
element constraint, see get
elt_of_list, 2.7.1, 2.7.3
elt_value, 1.2
elt_value, 2.2
empty, 2.1
- SetDomain.S, 2.7.2, 2.7.3
equal, 2.2
eval, 2.3
event, 3.2.2
events, 2.4.1, 3.2.1, 3.2.3
fail
- Goals, 2.5
fd2e, 1.1, 2.3
floundering, 2.5
forall
- Goals.Array, 3.1.2
- Goals.List, 3.1.2
fprint, 3.5.2
- Domain, 2.1
- Invariant, 3.5.2
- SetDomain, 2.7.1
- Var.SetFd, 2.7.2, 2.7.2, 2.7.4
- Arith, 2.3
- Cstr, 2.4.1
- Var.Attr, 2.2
- Var.Fd, 1.1, 2.2
get, 3.5.1
- FdArray, 2.4.3
get_cstr, 2.4.3
glb, 2.7.1
goals, 2.5, 2.5
- user's defined, 3.4, 3.4.3
  - arbitrary, 3.4.2
  - atomic, 3.4.1
  - recursive, 3.4.3
i2e, 1.1, 2.3
id
- Var.Attr, 2.2
- Var.Fd, 2.2

indomain, 2.5
- Goals.Conjunto, 2.7.4
inside
- Conjunto, 2.7.2
instantiate, 2.5
int
- Domain, 2.1
- Var.Fd, 2.2
intersection
- Domain, 2.1
interval
- SetDomain, 2.7.1
- Var.SetFd, 2.7.2, 2.7.3
- Domain, 2.1
- Var.Fd, 1.2, 2.2
invariants, 3.5, 3.5.3
is_empty
- Domain, 2.1
is_var, 2.2
iter
- Var.Fd, 2.2
labeling, 1.1, 2.7.4, 3.1.2
- Goals.Array, 1.2
- Goals.List, 1.1
lds, 2.5
lub, 2.7.1
max
- Domain, 2.1
- FdArray, 2.4.3
- Var.Attr, 2.2
- Var.Fd, 2.2
max_of_expr, 2.3
member
- Domain, 2.1
- Var.Attr, 2.2
- Var.Fd, 2.2
min
- Domain, 2.1
- FdArray, 2.4.3
- Var.Attr, 2.2
- Var.Fd, 2.2
min_cstr, 2.4.3
min_of_expr, 2.3
minimize, 2.6
name
- Var.Fd, 2.2
nb_wakings, 3.3, 3.3
not, 2.4.4
optimization, 2.6
post, 1.1, 2.4.1
prod, 2.3
prod_fd, 2.3
refine, 2.2
reification, 2.4.4, 2.4.4, 3.3, 3.3
remove, 2.1
remove_closed_inter, 2.1
remove_low, 2.1
remove_up, 2.1
S, 2.7.1
SetDomain.S, 2.7.1
scalprod, 2.3
scalprod_fd, 2.3
search, 2.5, 3.1
select
- Goals.Array, 3.1.2
- Goals.List, 3.1.2
set, 3.5.1
set variables, 2.7, 2.7.2
- Conjunto, 2.7.3
- constraints, 2.7.3
- domains, 2.7.1
- labeling, 2.7.4
glb, 2.7.1
lub, 2.7.1
size
- Var.Attr, 2.2
- Var.Fd, 2.2
solve, 1.1, 2.5
success, 2.5
sum, 2.3, 3.5.2
sum_fd, 2.3
t type
- Arith, 2.3
- Cstr, 2.4.1
- Domain, 1.1, 2.1
- Var.Attr, 2.2
- Var.Fd, 2.2
toplevel, ??
unary, 3.5.2
unify
- Var.SetFd, 2.7.2
- Goals, 2.5
- Var.Fd, 2.2
union
- Conjunto, 2.7.3
- Domain, 2.1
update, 3.2.2
value, 2.2
values
- Domain, 2.1
- Var.Fd, 2.2
variables, 1.1, 1.2, 2.2, 2.2
- access, 2.2
- attribute, 2.2
- creation, 2.2
- domain reduction, 2.2
waking identity, 3.2.2, 3.3
waking_id, 3.3
xor, 2.4.4