37namespace Gecode {
namespace Int {
namespace NValues {
64 if (
y.min() ==
x.size()) {
73 if (
x[i].assigned()) {
74 vs.
add(home,
x[i].val());
81 assert(vs.
size() >=
y.max());
116 if (vs.size() >=
y.max())
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
Home class for posting propagators
static ExecStatus post(Home home, ViewArray< View > &x)
Post propagator for views x.
Greater or equal to number of values propagator for integer views.
static ExecStatus post(Home home, ViewArray< IntView > &x, VY y)
Post propagator for .
virtual Propagator * copy(Space &home)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
GqInt(Home home, ValSet &vs, ViewArray< IntView > &x, VY y)
Constructor for posting.
Number of values propagator for integer views base class.
Class for storing values of already assigned views.
int size(void) const
Return size (number of values)
void add(Space &home, int v)
Add value v to value set.
Base-class for propagators.
bool assigned(void) const
Test whether view is assigned.
static ModEvent me(const ModEventDelta &med)
ExecStatus ES_SUBSUMED(Propagator &p)
int ModEventDelta
Modification event deltas.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
const Gecode::ModEvent ME_INT_VAL
Domain operation has resulted in a value (assigned variable)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
@ ES_OK
Execution is okay.
@ ES_NOFIX
Propagation has not computed fixpoint.
Post propagator for SetVar x