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