44 namespace Gecode {
namespace Set {
namespace Sequence {
72 (void)
new (home)
SeqU(home,x,y);
SeqU(Space &home, bool share, SeqU &p)
Constructor for cloning p.
unsigned int cardMax(void) const
Return maximum cardinality.
static ExecStatus post(Home home, ViewArray< SetView >, SetView)
Post propagator and .
int p
Number of positive literals for node type.
Execution has resulted in failure.
bool shared(const Space &home) const
Test whether array contains shared views.
void update(Space &home, BndSet &x)
Update this set to be a clone of set x.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Set view for set variables
Node * x
Pointer to corresponding Boolean expression node.
int size(void) const
Return size of array (number of elements)
Gecode toplevel namespace
Propagator for the sequenced union constraint
Home class for posting propagators
static ExecStatus post(Home home, View0, View1)
Post propagator .