42 template<
class View0,
class View1>
47 template<
class View0,
class View1>
52 template<
class View0,
class View1>
56 (void)
new (home)
Eq(home,
x,
y);
60 template<
class View0,
class View1>
63 return new (home)
Eq(home,*
this);
66 template<
class View0,
class View1>
96 unsigned int max = std::min(
x0.cardMax(),
x1.cardMax());
97 unsigned int min = std::max(
x0.cardMin(),
x1.cardMin());
105 assert (
x1.assigned());
Base-class for both propagators and branchers.
Home class for posting propagators
Range iterator for computing intersection (binary)
void reset(void)
Reset iterator to start.
Range iterator for computing union (binary)
MixBinaryPropagator(Space &home, MixBinaryPropagator &p)
ModEventDelta med
A set of modification events (used during propagation)
Range iterator for the greatest lower bound.
Range iterator for the least upper bound.
Eq(Space &home, Eq &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
ExecStatus ES_SUBSUMED(Propagator &p)
Propagator p is subsumed
int ModEventDelta
Modification event deltas.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Standard set relation propagators.
bool testSetEventLB(ModEvent me0, ModEvent me1, ModEvent me2)
bool testSetEventCard(ModEvent me0, ModEvent me1, ModEvent me2)
bool testSetEventUB(ModEvent me0, ModEvent me1, ModEvent me2)
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
Post propagator for SetVar SetOpType SetVar y
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.
@ ES_NOFIX
Propagation has not computed fixpoint.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool shared(ViewArray< ViewX > x, ViewArray< ViewY > y)
Post propagator for SetVar x
int ModEvent
Type for modification events.