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