51 for (
int i=
x.size(); i--;) {
Home class for posting propagators
NaryPropagator(Space &home, NaryPropagator &p)
AtmostOne(Space &home, AtmostOne &p)
Constructor for cloning p.
unsigned int c
Cardinality of the sets.
static ExecStatus post(Home home, ViewArray< SetView > x, unsigned int c)
Post propagator for and .
Set view for set variables
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Propagators for global distinctness constraints.
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.