36 namespace Gecode {
namespace Int {
namespace Dom {
38 template<
class View, ReifyMode rm>
44 template<
class View, ReifyMode rm>
49 }
else if ((min > max) || (max < x.min()) || (min > x.max())) {
53 }
else if ((min <= x.min()) && (x.max() <=
max)) {
62 }
else if (b.
zero()) {
74 template<
class View, ReifyMode rm>
80 template<
class View, ReifyMode rm>
86 template<
class View, ReifyMode rm>
95 }
else if (
b.
zero()) {
101 }
else if ((
x0.max() <=
max) && (
x0.min() >=
min)) {
105 }
else if ((
x0.max() <
min) || (
x0.min() >
max)) {
109 }
else if (!
x0.range()) {
bool zero(void) const
Test whether view is assigned to be zero.
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.
bool one(void) const
Test whether view is assigned to be one.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
First is subset of second iterator.
ReRange(Space &home, ReRange &p)
Constructor for cloning p.
Propagation has computed fixpoint.
BoolView b
Boolean control view.
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.
Reified range dom-propagator.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
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.
static ExecStatus post(Home home, View x, int c, CtrlView b)
Post domain consistent propagator .
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar x
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.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Gecode toplevel namespace
Implication for reification.
ModEvent one_none(Space &home)
Assign not yet assigned view to one.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.
Boolean view for Boolean variables.