44 namespace Gecode {
namespace Set {
namespace Sequence {
72 (void)
new (home)
SeqU(home,
x,
y);
unsigned int cardMax(void) const
Return maximum cardinality.
ViewArray< SetView > x
Array of views.
SeqU(Space &home, bool share, SeqU &p)
Constructor for cloning p.
static ExecStatus post(Home home, ViewArray< SetView >, SetView)
Post propagator and .
int p
Number of positive literals for node type.
bool shared(const Space &home) const
Test whether array contains shared views.
Execution has resulted in failure.
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
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x
Gecode toplevel namespace
int size(void) const
Return size of array (number of elements)
Propagator for the sequenced union constraint
Home class for posting propagators
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .