68 (void)
new (home)
SeqU(home,
x,
y);
Home class for posting propagators
NaryOnePropagator(Space &home, NaryOnePropagator &p)
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
static ExecStatus post(Home home, ViewArray< SetView >, SetView)
Post propagator and .
SeqU(Space &home, SeqU &p)
Constructor for cloning p.
Set view for set variables
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Propagators for ordered sequences of sets.
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.
@ ES_FAILED
Execution has resulted in failure.
bool shared(ViewArray< ViewX > x, ViewArray< ViewY > y)