44 namespace Gecode {
namespace Set {
namespace Sequence {
63 (void)
new (home)
Seq(home,x);
static ExecStatus post(Home home, ViewArray< SetView >)
Post propagator .
int p
Number of positive literals for node type.
Execution has resulted in failure.
bool shared(const Space &home) const
Test whether array contains shared views.
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
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
Home class for posting propagators