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
|