46 #ifndef __GECODE_FLOAT_REL_HH__
47 #define __GECODE_FLOAT_REL_HH__
56 namespace Gecode {
namespace Float {
namespace Rel {
69 template<
class View0,
class View1>
128 template<
class View,
class CtrlView, ReifyMode rm>
154 template<
class View,
class CtrlView, ReifyMode rm>
182 template<
class View0,
class View1>
301 template<
class View,
class CtrlView, ReifyMode rm>
329 template<
class View,
class CtrlView, ReifyMode rm>
357 template<
class View,
class CtrlView, ReifyMode rm>
static ExecStatus post(Home home, View x, FloatVal c, CtrlView b)
Post propagator for .
Le(Space &home, bool share, Le &p)
Constructor for cloning p.
Reified binary bounds consistent equality propagator.
Reified less or equal propagator.
NqFloat(Space &home, bool share, NqFloat< View > &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
View0 x0
View of type View0.
Reified unary propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, View x, FloatVal c, CtrlView b)
Post propagator for .
Reified binary propagator.
Binary bounds consistent equality propagator.
ViewArray< View > x
Array of views.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Base-class for propagators.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
static ExecStatus post(Home home, View x0, FloatVal c)
Post bounds consistent propagator .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
View1 x1
View of type View1.
NaryEq(Space &home, bool share, NaryEq< View > &p)
Constructor for cloning p.
static ExecStatus post(Home home, View x, FloatVal c, CtrlView b)
Post bounds consistent propagator .
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
CtrlView b
Boolean control view.
Base-class for both propagators and branchers.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Reified bounds consistent equality with float propagator.
FloatVal c
Float constant to check.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post bounds consistent propagator .
Binary bounds consistent disequality propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ReLeFloat(Space &home, bool share, ReLeFloat &p)
Constructor for cloning p.
int p
Number of positive literals for node type.
Reified less or equal with float propagator.
FloatVal c
Float constant to check.
Eq(Space &home, bool share, Eq< View0, View1 > &p)
Constructor for cloning p.
FloatVal c
Float constant to check.
ModEventDelta med
A set of modification events (used during propagation)
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
static ExecStatus post(Home home, View x0, View x1)
Post propagator .
ReLqFloat(Space &home, bool share, ReLqFloat &p)
Constructor for cloning p.
static ExecStatus post(Home home, View x0, View x1)
Post propagator .
static ExecStatus post(Home home, ViewArray< View > &x)
Post bounds consistent propagator .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Less or equal propagator.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Node * x
Pointer to corresponding Boolean expression node.
static ExecStatus post(Home home, View x0, View x1, CtrlView b)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, View x0, View x1, CtrlView b)
Post bounds consistent propagator .
static ExecStatus post(Home home, View0 x0, View1 x1)
Post bounds consistent propagator .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ReEqFloat(Space &home, bool share, ReEqFloat &p)
Constructor for cloning p.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
FloatVal c
Float constant to check.
ReLq(Space &home, bool share, ReLq &p)
Constructor for cloning p.
Gecode toplevel namespace
ReEq(Space &home, bool share, ReEq &p)
Constructor for cloning p.
n-ary bounds consistent equality propagator
CtrlView b
Boolean control view.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Lq(Space &home, bool share, Lq &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Binary bounds consistent disequality propagator with float value.
Reified less with float propagator.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
Nq(Space &home, bool share, Nq< View0, View1 > &p)
Constructor for cloning p.