57 (void)
new (home)
Convex(home,
x);
Home class for posting propagators
Convex(Space &home, Convex &p)
Constructor for cloning p.
static ExecStatus post(Home home, SetView x)
Post propagator that propagates that x is convex.
Set view for set variables
UnaryPropagator(Space &home, UnaryPropagator &p)
Propagators for convexity.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
Post propagator for SetVar x