Go to the documentation of this file.
40 namespace Gecode {
namespace Float {
namespace Bool {
57 x0.update(home,share,
p.x0);
58 x1.update(home,share,
p.x1);
59 x2.update(home,share,
p.x2);
93 return new (home)
Ite<View>(home,share,*
this);
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
ExecStatus ES_SUBSUMED(Propagator &p)
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
@ RT_FALSE
Relation does not hold.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to view.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
const FloatNum min
Smallest allowed float value.
Base-class for both propagators and branchers.
Boolean view for Boolean variables.
Gecode toplevel namespace
Base-class for propagators.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Binary bounds consistent equality propagator.
Home class for posting propagators
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low ternary)
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
static ExecStatus post(Home home, Int::BoolView b, View x0, View x1, View x2)
Post if-then-else propagator.
@ RT_TRUE
Relation does hold.
RelTest
Result of testing relation.
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
void update(Space &home, bool share, VarImpView< Var > &y)
Update this view to be a clone of view y.
static PropCost ternary(PropCost::Mod m)
Three variables for modifier pcm.
@ ES_FIX
Propagation has computed fixpoint.
virtual void reschedule(Space &home)
Schedule function.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post bounds consistent propagator .
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Ite(Space &home, bool share, Ite &p)
Constructor for cloning p.
virtual size_t dispose(Space &home)
Delete actor and return its size.
@ ES_FAILED
Execution has resulted in failure.
int ModEventDelta
Modification event deltas.
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
@ ES_OK
Execution is okay.
int p
Number of positive literals for node type.
const FloatNum max
Largest allowed float value.
Int::BoolView b
View for condition.