40 namespace Gecode {
namespace Int {
namespace Dom {
42 template<
class View, ReifyMode rm>
48 template<
class View, ReifyMode rm>
53 }
else if ((min > max) || (max < x.min()) || (min > x.max())) {
57 }
else if ((min <= x.min()) && (x.max() <=
max)) {
66 }
else if (b.
zero()) {
78 template<
class View, ReifyMode rm>
84 template<
class View, ReifyMode rm>
90 template<
class View, ReifyMode rm>
98 }
else if (
b.zero()) {
103 }
else if ((x0.max() <=
max) && (x0.min() >=
min)) {
106 }
else if ((x0.max() <
min) || (x0.min() >
max)) {
Inverse implication for reification.
Range iterator for singleton range.
ExecStatus ES_SUBSUMED(Propagator &p)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Reified unary propagator.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Propagation has computed fixpoint.
ReRange(Space &home, bool share, ReRange &p)
Constructor for cloning p.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
Reified range dom-propagator.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
static ExecStatus post(Home home, View x, int c, CtrlView b)
Post domain consistent propagator .
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool one(void) const
Test whether view is assigned to be one.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
Node * x
Pointer to corresponding Boolean expression node.
static ExecStatus post(Home home, View x, int min, int max, BoolView b)
Post propagator for .
Implication for reification.
bool zero(void) const
Test whether view is assigned to be zero.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Boolean view for Boolean variables.