Go to the documentation of this file.
44 namespace Gecode {
namespace Set {
namespace Branch {
83 int med = (u2.
min()+u2.
max()) / 2;
93 return u3.
min() +
static_cast<int>(
i);
110 return i.min() +
static_cast<int>(
p);
ValSelMed(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Post propagator for SetVar x
ValSelMin(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Base class for value selection.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Range iterator for the unknown set.
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
union Gecode::@579::NNF::@61 u
Union depending on nodetype t.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Gecode toplevel namespace
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
int min(void) const
Return smallest value of range.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void update(Space &home, bool share, SharedHandle &sh)
Updating during cloning.
ValSelMax(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Post propagator for SetVar SetOpType SetVar SetRelType r
Value branching information.
Value selection class for maximum of view.
#define GECODE_NEVER
Assert that this command is never executed.
Value selection class for random value of view.
Set view for set variables
Rnd r
The used random number generator.
bool shared(const IntSet &, VX)
int max(void) const
Return largest value of range.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
void dispose(Space &home)
Delete value selection.
Value selection class for median of view.
Value selection class for mimimum of view.
int p
Number of positive literals for node type.