44 namespace Gecode {
namespace Set {
namespace Sequence {
63 (void)
new (home)
Seq(home,
x);
static ExecStatus post(Home home, ViewArray< SetView >)
Post propagator .
ViewArray< SetView > x
Array of views.
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.
Seq(Space &home, bool share, Seq &p)
Constructor for cloning p.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Propagator for the sequence constraint
Set view for set variables
Post propagator for SetVar x
Gecode toplevel namespace
Home class for posting propagators