34#ifndef __GECODE_INT_MEMBER_HH__
35#define __GECODE_INT_MEMBER_HH__
45namespace Gecode {
namespace Int {
namespace Member {
89 template<
class View, ReifyMode rm>
int p
Number of positive literals for node type.
Home class for posting propagators
Boolean view for Boolean variables.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Propagator * copy(Space &home)
Copy propagator during cloning.
virtual PropCost cost(const Space &, const ModEventDelta &med) const
Cost function.
static void add(Space &home, ValSet &vs, ViewArray< View > &x)
Add values of assigned views in x to value set va.
Prop(Home home, ValSet &vs, ViewArray< View > &x, View y)
Constructor for posting.
ValSet vs
Value set storing the values of already assigned views.
void eliminate(Space &home)
Eliminate views from x that are not equal to y or ar subsumed by vs.
static ExecStatus post(Home home, ViewArray< View > &x, View y)
Post propagator for .
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Reified membership propagator.
virtual Propagator * copy(Space &home)
Copy propagator during cloning.
ReProp(Home home, ValSet &vs, ViewArray< View > &x, View y, BoolView b)
Constructor for posting.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
BoolView b
Boolean control variable.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
static ExecStatus post(Home home, ViewArray< View > &x, View y, BoolView b)
Post propagator for .
Class for storing values of already assigned views.
Base-class for propagators.
ModEventDelta med
A set of modification events (used during propagation)
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
Gecode toplevel namespace