40 namespace Gecode {
namespace Int {
namespace Dom {
42 template<
class View, ReifyMode rm>
48 template<
class View, ReifyMode rm>
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 .
struct Gecode::@511::NNF::@54::@55 b
For binary nodes (and, or, eqv)
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 .
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
Implication for reification.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Boolean view for Boolean variables.