59 (void)
new (home)
Seq(home,
x);
Home class for posting propagators
NaryPropagator(Space &home, NaryPropagator &p)
Seq(Space &home, Seq &p)
Constructor for cloning p.
static ExecStatus post(Home home, ViewArray< SetView >)
Post propagator .
Set view for set variables
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)