Fcl_genesis | |
Fcl_debug | |
Fcl_misc | |
Fcl_float | |
Fcl_stak | Global Stack of Goals, Backtrackable Operations |
Fcl_domain | Domain Operations |
Fcl_setDomain | Integer Set Domain Operations |
Fcl_data | Bactrackable Data Structures |
Fcl_cstr | Posting Constraints and Building New Ones |
Fcl_var | Constrained, Attributed, Finite Domain Variables |
Fcl_reify | Constraints Reification |
Fcl_invariant | Backtrackable Invariant References |
Fcl_boolean | |
Fcl_alldiff | the "All Different" Constraint |
Fcl_linear | |
Fcl_nonlinear | |
Fcl_expr | Arithmetic Expressions over Variables of Type |
Fcl_arith | Arithmetic Expressions and Constraints |
Fcl_interval | Variable Membership to an Interval |
Fcl_gcc | Global Cardinality Constraint |
Fcl_fdArray | Constraints over Arrays of Variables |
Fcl_conjunto | Constraints on Finite Sets |
Fcl_sorting | Sorting Constraint |
Fcl_goals | Building and Solving Goals |
Fcl_opti | |
Facile |