50 assert(!(
x0.assigned() && (
x0.val() ==
c0)) &&
x0.in(
c0));
BinaryPropagator(Space &home, BinaryPropagator &p)
Home class for posting propagators
EqIte(Space &home, EqIte &p)
Constructor for cloning p.
static ExecStatus post(Home home, IntView x0, IntView x1, int c0, int c1)
Post if-then-else propagator.
int c0
The integer constant.
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_DOM
Propagate when domain changes.
Gecode toplevel namespace
@ ES_OK
Execution is okay.