40 return e << nl.
n << nl.
l;
45 return e >> nl.
n >> nl.
l;
50namespace Gecode {
namespace Float {
namespace Branch {
61 nl.
n =
x.med(); nl.
l =
true;
74 nl.
n =
x.med(); nl.
l =
false;
88 nl.
n =
x.med(); nl.
l = (
r(2U) == 0U);
Value description class for branching.
bool l
Whether to try the lower or upper half first.
FloatNum n
The middle value for branching.
Value selection class for values smaller than median of view.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
ValSelGq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for values smaller than median of view.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
ValSelLq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for random value of view.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value selection.
Rnd r
The used random number generator.
Float view for float variables.
Value branching information.
Base class for value selection.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Archive & operator<<(Archive &e, FloatNumBranch nl)
Archive & operator>>(Archive &e, FloatNumBranch &nl)
Post propagator for SetVar x