40 namespace Gecode {
namespace Float {
namespace Rel {
46 template<
class View0,
class View1>
51 template<
class View0,
class View1>
54 if (x0.assigned() && x1.assigned()) {
57 }
else if (
same(x0,x1)) {
65 template<
class View0,
class View1>
70 template<
class View0,
class View1>
76 template<
class View0,
class View1>
79 if (x0.assigned() && x1.assigned()) {
NqFloat(Space &home, bool share, NqFloat< View > &p)
Constructor for cloning p.
ExecStatus ES_SUBSUMED(Propagator &p)
bool overlap(const FloatVal &x, const FloatVal &y)
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
static ExecStatus post(Home home, View x0, FloatVal c)
Post bounds consistent propagator .
Propagation has computed fixpoint.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Base-class for both propagators and branchers.
Binary bounds consistent disequality propagator.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
bool same(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether two views are the same.
Execution has resulted in failure.
const Gecode::PropCond PC_FLOAT_VAL
Propagate when a view becomes assigned (single value)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Node * x
Pointer to corresponding Boolean expression node.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post bounds consistent propagator .
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Multi _c(Gecode::IntArgs(3, 1, 2, 3))
Binary bounds consistent disequality propagator with float value.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Nq(Space &home, bool share, Nq< View0, View1 > &p)
Constructor for cloning p.