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