51 return new (home)
Seq(home,*
this);
56 bool modified =
false;
59 assigned =
false; modified =
false;
61 }
while (assigned || modified);
63 for (
int i=
x.size(); i--;)
Seq(Space &home, Seq &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ExecStatus ES_SUBSUMED(Propagator &p)
Propagator p is subsumed
int ModEventDelta
Modification event deltas.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Propagators for ordered sequences of sets.
ExecStatus propagateSeq(Space &home, bool &modified, bool &assigned, ViewArray< SetView > &x)
Gecode toplevel namespace
@ ES_FIX
Propagation has computed fixpoint.