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