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