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.
Node * x
Pointer to corresponding Boolean expression node.
static ExecStatus post(Home home, View x, int min, int max, BoolView b)
Post propagator for .
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
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.