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
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.
FloatMaximizeSpace(FloatNum s=0.0)
Constructor with step s.
virtual FloatVar cost(void) const =0
Return variable with current cost.
virtual void constrain(const Space &best)
Member function constraining according to cost.
FloatMinimizeSpace(FloatNum s=0.0)
Constructor with step s.
FloatNum step
Step by which a next solution has to have lower cost.
FloatVal val(void) const
Return assigned value.
Passing integer arguments.
virtual IntVarArgs cost(void) const =0
Return variables with current costs.
IntLexMaximizeSpace(void)
Default constructor.
virtual void constrain(const Space &best)
Member function constraining according to increasing 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.
IntLexMinimizeSpace(void)
Default constructor.
virtual IntVar cost(void) const =0
Return variable with current cost.
IntMaximizeSpace(void)
Default constructor.
virtual void constrain(const Space &best)
Member function constraining according to increasing cost.
virtual IntVar cost(void) const =0
Return variable with current cost.
IntMinimizeSpace(void)
Default constructor.
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 .
Space(void)
Default constructor.
Gecode toplevel namespace