40namespace Gecode {
namespace Set {
namespace Sequence {
59 (void)
new (home)
Seq(home,
x);
int p
Number of positive literals for node type.
Home class for posting propagators
Propagator for the sequence constraint
Seq(Space &home, Seq &p)
Constructor for cloning p.
Set view for set variables
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace
@ 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