48 if (
x0.assigned() &&
x1.assigned()) {
50 }
else if (
x1.assigned()) {
53 }
else if (
x2.assigned()) {
Home class for posting propagators
Pair(Space &home, Pair &p)
Constructor for cloning p.
static ExecStatus post(Home home, IntView x0, IntView x1, IntView x2, int w, int h)
Post propagator .
Integer view for integer variables.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post domain consistent propagator .
TernaryPropagator(Space &home, TernaryPropagator &p)
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
bool shared(ViewArray< ViewX > x, ViewArray< ViewY > y)