44 namespace Gecode {
namespace Set {
namespace Branch {
83 int med = (u2.
min()+u2.
max()) / 2;
89 while (i >= u3.
width()) {
93 return u3.
min() +
static_cast<int>(
i);
110 return i.min() +
static_cast<int>(
p);
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Range iterator for the unknown set.
Value selection class for median of view.
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.
Value selection class for mimimum of view.
ValSelMax(Space &home, const ValBranch &vb)
Constructor for initialization.
int max(void) const
Return largest value of range.
ValSelMed(Space &home, const ValBranch &vb)
Constructor for initialization.
int p
Number of positive literals for node type.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Gecode::IntArgs i(4, 1, 2, 3, 4)
union Gecode::@554::NNF::@60 u
Union depending on nodetype t.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Set view for set variables
void update(Space &home, bool share, SharedHandle &sh)
Updating during cloning.
Value branching information.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Node * x
Pointer to corresponding Boolean expression node.
ValSelRnd(Space &home, const ValBranch &vb)
Constructor for initialization.
Value selection class for maximum of view.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
#define GECODE_NEVER
Assert that this command is never executed.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Value selection class for random value of view.
ValSelMin(Space &home, const ValBranch &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value selection.
Rnd r
The used random number generator.
Base class for value selection.