42namespace Gecode {
namespace Set {
namespace Sequence {
51 return new (home)
Seq(home,*
this);
56 bool modified =
false;
ViewArray< SetView > x
Array of views.
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.
int size(void) const
Return size of array (number of elements)
ExecStatus ES_SUBSUMED(Propagator &p)
int ModEventDelta
Modification event deltas.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
bool assigned(View x, int v)
Whether x is assigned to value v.
ExecStatus propagateSeq(Space &home, bool &modified, bool &assigned, ViewArray< SetView > &x)
Gecode toplevel namespace
@ ES_FIX
Propagation has computed fixpoint.
Gecode::IntArgs i({1, 2, 3, 4})