40 namespace Gecode {
namespace Set {
namespace Sequence {
68 (void)
new (home)
SeqU(home,
x,
y);
int p
Number of positive literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Home class for posting propagators
ViewArray< SetView > x
Array of views.
void update(Space &home, BndSet &x)
Update this set to be a clone of set x.
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
Propagator for the sequenced union constraint
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
unsigned int cardMax(void) const
Return maximum cardinality.
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar SetOpType SetVar y
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
bool shared(const IntSet &, VX)
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.