34#ifndef __GECODE_FLOAT_BOOL_HH__
35#define __GECODE_FLOAT_BOOL_HH__
44namespace Gecode {
namespace Float {
namespace Bool {
74 View
x0, View
x1, View
x2);
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low ternary)
virtual void reschedule(Space &home)
Schedule function.
static ExecStatus post(Home home, Int::BoolView b, View x0, View x1, View x2)
Post if-then-else propagator.
Int::BoolView b
View for condition.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Ite(Space &home, Ite &p)
Constructor for cloning p.
Home class for posting propagators
Boolean view for Boolean variables.
Base-class for propagators.
ModEventDelta med
A set of modification events (used during propagation)
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace