69 if (
y.min() ==
x.size()) {
78 if (
x[i].assigned()) {
79 vs.add(home,
x[i].val());
87 assert(
y.val() ==
vs.size());
103 return new (home)
EqInt<VY>(home, *
this);
111 return sizeof(*this);
128 if (
y.max() ==
vs.size())
140 assert(
y.val() ==
vs.size());
Home class for posting propagators
void notice(Actor &a, ActorProperty p, bool duplicate=false)
Notice actor property.
static ExecStatus post(Home home, ViewArray< View > &x)
Post propagator for views x.
EqInt(Home home, ValSet &vs, ViewArray< IntView > &x, VY y)
Constructor for posting.
virtual Propagator * copy(Space &home)
Copy propagator during cloning.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
static ExecStatus post(Home home, ViewArray< IntView > &x, VY y)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
ValSet vs
Value set storing the values of already assigned views.
ExecStatus prune_lower(Space &home, int *dis, int n_dis)
void disjoint(Space &home, Region &r, int *&dis, int &n_dis)
void add(Space &home)
Add values of assigned views to value set.
ExecStatus all_in_valset(Space &home)
Propagate that all views must take values from value set.
ExecStatus prune_upper(Space &home, Graph &g)
IntBase(Home home, ValSet &vs, ViewArray< IntView > &x, VY y)
Constructor for posting.
static ExecStatus post(Home home, ViewArray< View > &x)
Post domain consistent propagator .
Class for storing values of already assigned views.
Base-class for propagators.
ModEventDelta modeventdelta(void) const
Return the modification event delta.
ModEventDelta med
A set of modification events (used during propagation)
static ModEvent me(const ModEventDelta &med)
ExecStatus ES_SUBSUMED(Propagator &p)
Propagator p is subsumed
void ignore(Actor &a, ActorProperty p, bool duplicate=false)
Ignore actor property.
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.
Number of values propagators.
const Gecode::ModEvent ME_INT_VAL
Domain operation has resulted in a value (assigned variable)
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
@ ES_OK
Execution is okay.
@ ES_NOFIX
Propagation has not computed fixpoint.