36 namespace Gecode {
namespace Int {
namespace Member {
50 vs.
add(home, x[
i].val());
122 return sizeof(*this);
151 assert(
x.size() > 0);
155 for (
int i=1;
i<
x.size();
i++) {
static PropCost linear(PropCost::Mod m, unsigned int n)
Linear complexity for modifier pcm and size measure n.
Binary domain consistent equality propagator.
ViewArray< View > x
Array of views.
ExecStatus ES_SUBSUMED(Propagator &p)
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information)
Base-class for propagators.
Propagation has computed fixpoint.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Range iterator for integer views.
static ExecStatus post(Home home, ViewArray< View > &x, View y)
Post propagator for .
int p
Number of positive literals for node type.
static void add(Space &home, ValSet &vs, ViewArray< View > &x)
Add values of assigned views in x to value set va.
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
void dispose(Space &home)
Dispose value set.
Execution has resulted in failure.
const Gecode::ModEvent ME_INT_VAL
Domain operation has resulted in a value (assigned variable)
Range iterator for union of iterators.
ModEventDelta med
A set of modification events (used during propagation)
ValSet vs
Value set storing the values of already assigned views.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
void update(Space &home, ValSet &vs)
Update value set during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
union Gecode::@593::NNF::@62 u
Union depending on nodetype t.
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar y
Prop(Home home, ValSet &vs, ViewArray< View > &x, View y)
Constructor for posting.
virtual PropCost cost(const Space &, const ModEventDelta &med) const
Cost function.
bool assigned(View x, int v)
Whether x is assigned to value v.
Post propagator for SetVar x
void unique(void)
Remove all duplicate views from array (changes element order)
Class for storing values of already assigned views.
Gecode toplevel namespace
bool subset(View x) const
Whether all values of x are included in the value set.
virtual Propagator * copy(Space &home)
Copy propagator during cloning.
int ModEventDelta
Modification event deltas.
int size(void) const
Return size of array (number of elements)
Home class for posting propagators
void eliminate(Space &home)
Eliminate views from x that are not equal to y or ar subsumed by vs.
bool same(void) const
Test whether array has multiple occurence of the same view.
void add(Space &home, int v)
Add value v to value set.