40 namespace Gecode {
namespace Set {
namespace Sequence {
59 (void)
new (home)
Seq(home,x);
static ExecStatus post(Home home, ViewArray< SetView >)
Post propagator .
Seq(Space &home, Seq &p)
Constructor for cloning p.
ViewArray< SetView > x
Array of views.
int p
Number of positive literals for node type.
Execution has resulted in failure.
bool shared(void) const
Test whether array contains shared views.
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