38 namespace Gecode {
namespace Int {
namespace NValues {
44 :
Propagator(home), status(status0),
c(home), y(y0) {
46 for (
int i=x.
size();
i--; ) {
56 c.update(home,share,p.
c);
57 y.update(home,share,p.
y);
71 if (status == (VS_ZERO | VS_ONE)) {
void dispose(Space &home, Council< A > &c)
Delete advisor.
Base-class for propagators.
Propagation has computed fixpoint.
static PropCost unary(PropCost::Mod m)
Single variable for modifier pcm.
Advisor storing a single view
VY y
The view for counting the number of values.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Give advice to propagator.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
Number of values propagator for Boolean views base class.
View view(void) const
Access view.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
virtual size_t dispose(Space &home)
Delete actor and return its size.
bool assigned(View x, int v)
Whether x is assigned to value v.
Propagation has not computed fixpoint.
int size(void) const
Return size of array (number of elements)
Gecode toplevel namespace
BoolBase(Home home, int status, ViewArray< BoolView > &x, VY y)
Constructor for posting.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
int ModEventDelta
Modification event deltas.
Council< ViewAdvisor< BoolView > > c
The advisor council.
Home class for posting propagators
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low unary)