42 namespace Gecode {
namespace Float {
namespace Arithmetic {
44 template<
class A,
class B>
49 template<
class A,
class B>
56 template<
class A,
class B>
61 template<
class A,
class B>
64 return new (home)
Abs<A,B>(home,*
this);
67 template<
class A,
class B>
73 else if (
x0.max() <= 0)
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
ExecStatus ES_SUBSUMED(Propagator &p)
void abs(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
Propagation has computed fixpoint.
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
Propagator for bounds consistent absolute operator
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Abs(Space &home, Abs &p)
Constructor for cloning p.
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
virtual Actor * copy(Space &home)
Create copy during cloning.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.