A | |
| ATTR [Facile.Var] | |
| ATTR [Fcl_var] | Signature of the Attribute of a Domain Variable. |
B | |
| BASICFD [Facile.Var] | |
| BASICFD [Fcl_var] | Common variables module signature. |
F | |
| FD [Facile.Invariant] | |
| FD [Facile.Var] | |
| FD [Fcl_invariant] | Generic signature. |
| FD [Fcl_var] | Extended signature for finite domain variable (with added functions irrelevant to set variables). |