Index of modules

A
Alldiff [Facile]
Arith [Facile]
Array [Facile.Invariant]
Array [Facile.Goals]
Array [Facile.Data]
Array [Fcl_goals]
Array [Fcl_invariant]
Array [Fcl_data]

Bactrackable arrays.

Attr [Facile.Var]
Attr [Fcl_var]
B
Boolean [Facile]
C
Conjunto [Facile]
Conjunto [Facile.Goals]
Conjunto [Fcl_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
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
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 [Facile.Easy]
Fd [Facile.Invariant]
Fd [Facile.Var]
Fd [Fcl_invariant]

Module for accessing finite integer domain variables with BIRs.

Fd [Fcl_var]

Concrete finite domain variable module.

FdArray [Facile]
G
Gcc [Facile]
GlArray [Facile.Goals]
GlList [Facile.Goals]
Goals [Facile]
H
Hashtbl [Facile.Data]
Hashtbl [Fcl_data]

Bactrackable hashtables.

I
Interval [Facile]
Invariant [Facile]
L
List [Facile.Goals]
List [Fcl_goals]
O
Operators [Fcl_misc]
Opti [Facile]
R
Reify [Facile]
S
S [Facile.SetDomain]
S [Fcl_setDomain]

Implementation of sets of integers.

SetAttr [Facile.Var]
SetAttr [Fcl_var]
SetDomain [Facile]
SetFd [Facile.Invariant]
SetFd [Facile.Var]
SetFd [Fcl_invariant]

Module for accessing set domain variables with BIRs.

SetFd [Fcl_var]

Concrete integer set variable module.

Sorting [Facile]
Stak [Facile]
V
Var [Facile]