Index of module types


A
ATTR [Fcl_var]
Signature of the Attribute of a Domain Variable.
ATTR [Facile.Var]

B
BASICFD [Fcl_var]
Common variables module signature.
BASICFD [Facile.Var]

F
FD [Fcl_var]
Extended signature for finite domain variable (with added functions irrelevant to set variables).
FD [Fcl_invariant]
Generic signature.
FD [Facile.Invariant]
FD [Facile.Var]