Index of modules


A
Alldiff [Facile]
Arith [Facile]
Array [Fcl_invariant]
Array [Fcl_goals]
Array [Fcl_data]
Bactrackable arrays.
Array [Facile.Invariant]
Array [Facile.Goals]
Array [Facile.Data]
Attr [Fcl_var]
Attr [Facile.Var]

B
Boolean [Facile]

C
Conjunto [Fcl_goals]
Conjunto [Facile]
Conjunto [Facile.Goals]
Cstr [Facile]

D
Data [Facile]
Domain [Facile]

E
Easy [Facile]
Expr [Facile]

F
Facile
Fcl_alldiff
the "All Different" Constraint
Fcl_arith
Arithmetic Expressions and Constraints
Fcl_boolean
cstr bools sum returns a constraint ensuring that sum is equal to the sum of the boolean variables of the array bools.
Fcl_conjunto
Constraints on Finite Sets
Fcl_cstr
Posting Constraints and Building New Ones
Fcl_data
Bactrackable Data Structures
Fcl_debug
Fcl_domain
Domain Operations
Fcl_expr
Arithmetic Expressions over Variables of Type Var.Fd.t
Fcl_fdArray
Constraints over Arrays of Variables
Fcl_float
Fcl_gcc
Global Cardinality Constraint
Fcl_genesis
Fcl_goals
Building and Solving Goals
Fcl_interval
Variable Membership to an Interval
Fcl_invariant
Backtrackable Invariant References
Fcl_linear
shift_cstr y x d returns the constraint y = x+d
Fcl_misc
Fcl_nonlinear
Fcl_opti
Fcl_reify
Constraints Reification
Fcl_setDomain
Integer Set Domain Operations
Fcl_sorting
Sorting Constraint
Fcl_stak
Global Stack of Goals, Backtrackable Operations
Fcl_var
Constrained, Attributed, Finite Domain Variables
Fd [Fcl_var]
Concrete finite domain variable module.
Fd [Fcl_invariant]
Module for accessing finite integer domain variables with BIRs.
Fd [Facile.Easy]
Fd [Facile.Invariant]
Fd [Facile.Var]
FdArray [Facile]

G
Gcc [Facile]
GlArray [Facile.Goals]
GlList [Facile.Goals]
Goals [Facile]

H
Hashtbl [Fcl_data]
Bactrackable hashtables.
Hashtbl [Facile.Data]

I
Interval [Facile]
Invariant [Facile]

L
List [Fcl_goals]
List [Facile.Goals]

O
Operators [Fcl_misc]
Opti [Facile]

R
Reify [Facile]

S
S [Fcl_setDomain]
Implementation of sets of integers.
S [Facile.SetDomain]
SetAttr [Fcl_var]
SetAttr [Facile.Var]
SetDomain [Facile]
SetFd [Fcl_var]
Concrete integer set variable module.
SetFd [Fcl_invariant]
Module for accessing set domain variables with BIRs.
SetFd [Facile.Invariant]
SetFd [Facile.Var]
Sorting [Facile]
Stak [Facile]

V
Var [Facile]