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