34namespace Gecode {
namespace Int {
namespace Dom {
36 template<
class View, ReifyMode rm>
44 template<
class View, ReifyMode rm>
53 template<
class View, ReifyMode rm>
60 }
else if (s.
ranges() == 1) {
67 }
else if (
b.zero()) {
79 template<
class View, ReifyMode rm>
85 template<
class View, ReifyMode rm>
88 return new (home)
ReIntSet(home,*
this);
91 template<
class View, ReifyMode rm>
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
Home class for posting propagators
void notice(Actor &a, ActorProperty p, bool duplicate=false)
Notice actor property.
Range iterator for integer sets.
int min(int i) const
Return minimum of range at position i.
int max(int i) const
Return maximum of range at position i.
int ranges(void) const
Return number of ranges of the specification.
Boolean view for Boolean variables.
Reified domain dom-propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ReIntSet(Space &home, ReIntSet &p)
Constructor for cloning p.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
static ExecStatus post(Home home, View x, const IntSet &s, BoolView b)
Post propagator for .
static ExecStatus post(Home home, View x, int min, int max, BoolView b)
Post propagator for .
Reified unary propagator.
Range iterator for integer views.
ExecStatus ES_SUBSUMED(Propagator &p)
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.
@ AP_DISPOSE
Actor must always be disposed.
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
@ CS_NONE
Neither of the above.
@ CS_SUBSET
First is subset of second iterator.
@ CS_DISJOINT
Intersection is empty.
CompareStatus compare(I &i, J &j)
Check whether range iterator i is a subset of j, or whether they are disjoint.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.
Post propagator for SetVar x
#define GECODE_NEVER
Assert that this command is never executed.