47 return new (home)
EqIte(home,*
this);
Base-class for both propagators and branchers.
EqIte(Space &home, EqIte &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as high ternary)
static ExecStatus post(Home home, IntView x0, IntView x1, int c0, int c1)
Post if-then-else propagator.
int c0
The integer constant.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Binary domain consistent equality propagator.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post domain consistent propagator .
Range iterator for integer views.
Range iterator for singleton range.
Range iterator for computing union (binary)
static PropCost binary(PropCost::Mod m)
Two variables for modifier pcm.
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.
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information)
RelTest
Result of testing relation.
@ RT_TRUE
Relation does hold.
@ RT_MAYBE
Relation may hold or not.
@ RT_FALSE
Relation does not hold.
Gecode toplevel namespace
@ ES_FIX
Propagation has computed fixpoint.
@ ES_FAILED
Execution has resulted in failure.
#define GECODE_NEVER
Assert that this command is never executed.