40 #ifndef __GECODE_INT_DOM_HH__
41 #define __GECODE_INT_DOM_HH__
51 namespace Gecode {
namespace Int {
namespace Dom {
59 template<
class View, ReifyMode rm>
87 template<
class View, ReifyMode rm>
ReIntSet(Space &home, bool share, ReIntSet &p)
Constructor for cloning p.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Reified unary propagator.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Reified domain dom-propagator.
static ExecStatus post(Home home, View x, const IntSet &s, BoolView b)
Post propagator for .
ReRange(Space &home, bool share, ReRange &p)
Constructor for cloning p.
BoolView b
Boolean control view.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
Reified range dom-propagator.
ModEventDelta med
A set of modification events (used during propagation)
Node * x
Pointer to corresponding Boolean expression node.
static ExecStatus post(Home home, View x, int min, int max, BoolView b)
Post propagator for .
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Boolean view for Boolean variables.