42 for (
int i=0; i<
x.size(); i++) {
43 assert(!
x[i].assigned());
virtual size_t dispose(Space &home)
Delete actor and return its size.
Generic domain change information to be supplied to advisors.
Home class for posting propagators
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Council< ViewAdvisor< BoolView > > c
The advisor council.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low unary)
BoolBase(Home home, int status, ViewArray< BoolView > &x, VY y)
Constructor for posting.
static const int VS_ONE
View status: a one has already been encountered.
VY y
The view for counting the number of values.
virtual void reschedule(Space &home)
Schedule function.
static const int VS_ZERO
View status: a zero has already been encountered.
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Give advice to propagator.
int status
Status information about the views.
static PropCost unary(PropCost::Mod m)
Single variable for modifier pcm.
Propagator(Home home)
Constructor for posting.
Advisor storing a single view
int ModEventDelta
Modification event deltas.
Number of values propagators.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
@ ES_FIX
Propagation has computed fixpoint.
@ ES_NOFIX
Propagation has not computed fixpoint.
Post propagator for SetVar x