38 namespace Gecode {
namespace Int {
namespace NValues {
46 for (
int i=x.
size();
i--; ) {
void dispose(Space &home, Council< A > &c)
Delete advisor.
static const int VS_ONE
View status: a one has already been encountered.
virtual void reschedule(Space &home)
Schedule function.
Base-class for propagators.
Propagation has computed fixpoint.
static PropCost unary(PropCost::Mod m)
Single variable for modifier pcm.
Advisor storing a single view
int status
Status information about the views.
VY y
The view for counting the number of values.
View view(void) const
Access view.
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.
static const int VS_ZERO
View status: a zero has already been encountered.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low unary)
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.
Post propagator for SetVar x
Propagation has not computed fixpoint.
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.
int size(void) const
Return size of array (number of elements)
Council< ViewAdvisor< BoolView > > c
The advisor council.
Home class for posting propagators