37 LinkSingle::LinkSingle(Home home, BoolView x0, IntView x1)
52 }
else if (
x0.zero()) {
54 }
else if (
x0.one()) {
59 (void)
new (home) LinkSingle(home,
x0,
x1);
Home class for posting propagators
Boolean view for Boolean variables.
static ExecStatus post(Home home, BoolView x0, IntView x1)
Post propagator for .
Integer view for integer variables.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const Gecode::PropCond PC_INT_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.