44 x =
new (home) Float::FloatVarImp(home,FloatVal(min,max));
51 :
VarImpVar<Float::FloatVarImp>(y.varimp()) {}
54 :
VarImpVar<Float::FloatVarImp>(y.varimp()) {}
FloatNum min(void) const
Return minimum of domain.
Variables as interfaces to variable implementations.
bool assigned(void) const
Test whether variable is assigned.
FloatNum med(void) const
Return median of domain.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
FloatVar(void)
Default constructor.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
FloatNum max(void) const
Return maximum of domain.
FloatNum size(void) const
Return width of domain (distance between maximum and minimum)
FloatVal domain(void) const
Return domain.
int n
Number of negative literals for node type.
FloatNum med(void) const
Return median of domain (closest representation)
bool in(FloatNum n) const
Test whether n is contained in domain.
Float::FloatVarImp * x
Pointer to variable implementation.
Float view for float variables.
FloatVal val(void) const
Return value of domain (only if assigned)
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool in(const FloatVal &n) const
Test whether n is contained in domain.
FloatNum min(void) const
Return minimum of domain.
FloatVal domain(void) const
Return domain.
FloatVal val(void) const
Return assigned value.
Gecode toplevel namespace
FloatNum max(void) const
Return maximum of domain.
Exception: Attempt to access value of unassigned variable
double FloatNum
Floating point number base type.