40 namespace Gecode {
namespace Set {
namespace Sequence {
68 (void)
new (home)
SeqU(home,x,y);
unsigned int cardMax(void) const
Return maximum cardinality.
ViewArray< SetView > x
Array of views.
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.
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
SeqU(Space &home, SeqU &p)
Constructor for cloning p.
Gecode toplevel namespace
bool shared(ViewArray< ViewX > x, ViewArray< ViewY > y)
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 .