38 namespace Gecode {
namespace Int {
namespace Dom {
40 template<
class View, ReifyMode rm>
48 template<
class View, ReifyMode rm>
57 template<
class View, ReifyMode rm>
64 }
else if (s.
ranges() == 1) {
71 }
else if (b.
zero()) {
83 template<
class View, ReifyMode rm>
90 template<
class View, ReifyMode rm>
93 return new (home)
ReIntSet(home,share,*
this);
96 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.
Inverse implication for reification.
Range iterator for integer sets.
ExecStatus ES_SUBSUMED(Propagator &p)
Actor must always be disposed.
Reified domain dom-propagator.
static ExecStatus post(Home home, View x, const IntSet &s, BoolView b)
Post propagator for .
First is subset of second iterator.
Propagation has computed fixpoint.
Base-class for both propagators and branchers.
Range iterator for integer views.
int p
Number of positive literals for node type.
ModEvent zero_none(Space &home)
Assign not yet assigned view to zero.
int ranges(void) const
Return number of ranges of the specification.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
void update(Space &home, bool share, SharedHandle &sh)
Updating during cloning.
bool one(void) const
Test whether view is assigned to be one.
Node * x
Pointer to corresponding Boolean expression node.
void ignore(Actor &a, ActorProperty p, bool duplicate=false)
Ignore actor property.
static ExecStatus post(Home home, View x, int min, int max, BoolView b)
Post propagator for .
CompareStatus compare(I &i, J &j)
Check whether range iterator i is a subset of j, or whether they are disjoint.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Implication for reification.
ModEvent one_none(Space &home)
Assign not yet assigned view to one.
bool zero(void) const
Test whether view is assigned to be zero.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int max(int i) const
Return maximum of range at position i.
int min(int i) const
Return minimum of range at position i.
Boolean view for Boolean variables.