40 x =
new (home) Float::FloatVarImp(home,FloatVal(
min,
max));
int n
Number of negative literals for node type.
bool in(const FloatVal &n) const
Test whether n is contained in domain.
FloatVal domain(void) const
Return domain.
FloatNum med(void) const
Return median of domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
FloatNum min(void) const
Return minimum of domain.
FloatVar(void)
Default constructor.
FloatVal val(void) const
Return assigned value.
FloatNum max(void) const
Return maximum of domain.
FloatNum min(void) const
Return minimum of domain.
FloatNum max(void) const
Return maximum of domain.
FloatVal val(void) const
Return value of domain (only if assigned)
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatNum size(void) const
Return width of domain (distance between maximum and minimum)
FloatNum med(void) const
Return median of domain (closest representation)
bool assigned(void) const
Test whether variable is assigned.
FloatVal domain(void) const
Return domain.
Float view for float variables.
Exception: Attempt to access value of unassigned variable
Variables as interfaces to variable implementations.
Float::FloatVarImp * x
Pointer to variable implementation.
Post propagator for SetVar SetOpType SetVar y
double FloatNum
Floating point number base type.
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.