40 x =
new (home) Float::FloatVarImp(home,FloatVal(
min,
max));
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.
Float view for float variables.
Exception: Attempt to access value of unassigned variable
Float::FloatVarImp * varimp(void) const
double FloatNum
Floating point number base type.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar SetOpType SetVar y
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .