66 for (
int i=bn.
size(); i--; )
79 for (
int i=bn.
size(); i--; )
84#ifdef GECODE_HAS_FLOAT_VARS
int size(void) const
Return size of array (number of elements)
Exception: dynamic cast failed
Class for maximizing float cost.
virtual void constrain(const Space &best)
Member function constraining according to cost.
FloatNum step
Step by which a next solution has to have lower cost.
virtual FloatVar cost(void) const =0
Return variable with current cost.
Class for minimizing float cost.
virtual FloatVar cost(void) const =0
Return variable with current cost.
virtual void constrain(const Space &best)
Member function constraining according to cost.
FloatNum step
Step by which a next solution has to have lower cost.
FloatVal val(void) const
Return assigned value.
Passing integer arguments.
Class for lexicographically maximizing integer costs.
virtual IntVarArgs cost(void) const =0
Return variables with current costs.
virtual void constrain(const Space &best)
Member function constraining according to increasing costs.
Class for lexicographically minimizing integer costs.
virtual IntVarArgs cost(void) const =0
Return variables with current costs.
virtual void constrain(const Space &best)
Member function constraining according to decreasing costs.
Class for maximizing integer cost.
virtual IntVar cost(void) const =0
Return variable with current cost.
virtual void constrain(const Space &best)
Member function constraining according to increasing cost.
Class for minimizing integer cost.
virtual IntVar cost(void) const =0
Return variable with current cost.
virtual void constrain(const Space &best)
Member function constraining according to decreasing cost.
Passing integer variables.
int val(void) const
Return assigned value.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
Gecode toplevel namespace