40namespace Gecode {
namespace Set {
namespace Sequence {
68 (void)
new (home)
SeqU(home,
x,
y);
int p
Number of positive literals for node type.
Home class for posting propagators
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
SeqU(Space &home, SeqU &p)
Constructor for cloning p.
Set view for set variables
unsigned int cardMax(void) const
Return maximum cardinality.
int size(void) const
Return size of array (number of elements)
#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.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
bool shared(ViewArray< ViewX > x, ViewArray< ViewY > y)
Post propagator for SetVar x