42#ifndef __GECODE_FLOAT_REL_HH__
43#define __GECODE_FLOAT_REL_HH__
65 template<
class View0,
class View1>
124 template<
class View,
class CtrlView, ReifyMode rm>
150 template<
class View,
class CtrlView, ReifyMode rm>
178 template<
class View0,
class View1>
297 template<
class View,
class CtrlView, ReifyMode rm>
325 template<
class View,
class CtrlView, ReifyMode rm>
353 template<
class View,
class CtrlView, ReifyMode rm>
BinaryPropagator(Space &home, BinaryPropagator &p)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Eq(Space &home, Eq< View0, View1 > &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post bounds consistent propagator .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, View x0, View x1)
Post propagator .
Le(Space &home, Le &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Lq(Space &home, Lq &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View x0, View x1)
Post propagator .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
NaryEq(Space &home, NaryEq< View > &p)
Constructor for cloning p.
static ExecStatus post(Home home, ViewArray< View > &x)
Post bounds consistent propagator .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
NqFloat(Space &home, NqFloat< View > &p)
Constructor for cloning p.
FloatVal c
Float constant to check.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
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.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post bounds consistent propagator .
Nq(Space &home, Nq< View0, View1 > &p)
Constructor for cloning p.
Nq(Space &home, Propagator &p, View0 x0, View1 x1)
Constructor for rewriting p during cloning.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
FloatVal c
Float constant to check.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View x, FloatVal c, CtrlView b)
Post bounds consistent propagator .
ReEqFloat(Space &home, ReEqFloat &p)
Constructor for cloning p.
ReEq(Space &home, ReEq &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
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, View x, FloatVal c, CtrlView b)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ReLeFloat(Space &home, ReLeFloat &p)
Constructor for cloning p.
FloatVal c
Float constant to check.
FloatVal c
Float constant to check.
static ExecStatus post(Home home, View x, FloatVal c, CtrlView b)
Post propagator for .
ReLqFloat(Space &home, ReLqFloat &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ReLq(Space &home, ReLq &p)
Constructor for cloning p.
static ExecStatus post(Home home, View x0, View x1, CtrlView b)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Home class for posting propagators
Reified binary propagator.
Reified unary propagator.
MixBinaryPropagator(Space &home, MixBinaryPropagator &p)
NaryPropagator(Space &home, NaryPropagator &p)
ModEventDelta med
A set of modification events (used during propagation)
Propagator(Home home)
Constructor for posting.
UnaryPropagator(Space &home, UnaryPropagator &p)
int ModEventDelta
Modification event deltas.
Simple relation propagators.
const Gecode::PropCond PC_FLOAT_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
Post propagator for SetVar x