34namespace Gecode {
namespace Int {
namespace NValues {
40 :
Propagator(home), status(status0), c(home),
y(y0) {
42 for (
int i=0; i<
x.size(); i++) {
43 assert(!
x[i].assigned());
73 if (status == (VS_ZERO | VS_ONE)) {
int p
Number of positive literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
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
Number of values propagator for Boolean views base class.
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.
VY y
The view for counting the number of values.
virtual void reschedule(Space &home)
Schedule function.
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Give advice to propagator.
static PropCost unary(PropCost::Mod m)
Single variable for modifier pcm.
Base-class for propagators.
struct Gecode::Space::@61::@63 c
Data available only during copying.
Advisor storing a single view
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
@ ES_FIX
Propagation has computed fixpoint.
@ ES_NOFIX
Propagation has not computed fixpoint.
Post propagator for SetVar x