70 for (
int i=bn.
size();
i--; )
83 for (
int i=bn.
size();
i--; )
88 #ifdef GECODE_HAS_FLOAT_VARS const Gecode::FloatNum step
Class for minimizing integer cost.
Class for lexicographically maximizing integer costs.
int size(void) const
Return size of array (number of elements)
virtual IntVar cost(void) const =0
Return variable with current cost.
FloatVal val(void) const
Return assigned value.
Class for maximizing float cost.
virtual void constrain(const Space &best)
Member function constraining according to decreasing cost.
virtual void constrain(const Space &best)
Member function constraining according to cost.
Gecode::IntArgs i(4, 1, 2, 3, 4)
virtual IntVarArgs cost(void) const =0
Return variables with current costs.
virtual void constrain(const Space &best)
Member function constraining according to increasing cost.
int val(void) const
Return assigned value.
virtual FloatVar cost(void) const =0
Return variable with current cost.
Exception: dynamic cast failed
Class for lexicographically minimizing integer costs.
virtual void constrain(const Space &best)
Member function constraining according to increasing costs.
virtual void constrain(const Space &best)
Member function constraining according to cost.
Passing integer variables.
Passing integer arguments.
Class for maximizing integer cost.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
virtual IntVar cost(void) const =0
Return variable with current cost.
virtual void constrain(const Space &best)
Member function constraining according to decreasing costs.
Class for minimizing float cost.
virtual IntVarArgs cost(void) const =0
Return variables with current costs.
Gecode toplevel namespace
virtual FloatVar cost(void) const =0
Return variable with current cost.