| FloatDomain |
Defines an integer domain and related operations on it.
|
| FloatInterval |
Defines interval of numbers which is part of FDV definition which consist of
one or several intervals.
|
| FloatIntervalDomain |
Defines interval of numbers which is part of FDV definition which consist of
one or several intervals.
|
| FloatIntervalDomainIntervalEnumeration |
Defines a methods for enumerating values contain in the intersal domain.
|
| FloatIntervalEnumeration |
Defines a methods for enumerating values contain in the intersal domain.
|
| FloatVar |
Defines a Float Domain Variable and related operations on it.
|