46 namespace Gecode {
namespace Set {
namespace Sequence {
55 return new (home)
Seq(home,share,*
this);
60 bool modified =
false;
63 assigned =
false; modified =
false;
65 }
while (assigned || modified);
ExecStatus ES_SUBSUMED(Propagator &p)
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
ViewArray< SetView > x
Array of views.
Propagation has computed fixpoint.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Seq(Space &home, bool share, Seq &p)
Constructor for cloning p.
bool assigned(View x, int v)
Whether x is assigned to value v.
ExecStatus propagateSeq(Space &home, bool &modified, bool &assigned, ViewArray< SetView > &x)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int size(void) const
Return size of array (number of elements)
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.