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