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