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