41 template<
class A,
class B>
46 template<
class A,
class B>
63 template<
class A,
class B>
68 template<
class A,
class B>
71 return new (home)
Exp<A,B>(home,*
this);
74 template<
class A,
class B>
90 template<
class A,
class B>
96 template<
class A,
class B>
113 template<
class A,
class B>
119 template<
class A,
class B>
122 return new (home)
Pow<A,B>(home,*
this);
125 template<
class A,
class B>
Base-class for both propagators and branchers.
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
virtual Actor * copy(Space &home)
Create copy during cloning.
Exp(Space &home, Exp &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, FloatNum base, A x0, B x1)
Post propagator for .
Pow(Space &home, Pow &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Create copy during cloning.
Home class for posting propagators
MixBinaryPropagator(Space &home, MixBinaryPropagator &p)
ExecStatus ES_SUBSUMED(Propagator &p)
Propagator p is subsumed
int ModEventDelta
Modification event deltas.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
double FloatNum
Floating point number base type.
Transcendental propagators
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
void log(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
void exp(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.
@ ES_FAILED
Execution has resulted in failure.