38 namespace Gecode {
namespace Float {
namespace Transcendental {
45 template<
class A,
class B>
50 template<
class A,
class B>
59 (void)
new (home)
Exp<A,B>(home,x0,x1);
64 template<
class A,
class B>
69 template<
class A,
class B>
72 return new (home)
Exp<A,B>(home,share,*
this);
75 template<
class A,
class B>
91 template<
class A,
class B>
97 template<
class A,
class B>
105 (void)
new (home)
Pow<A,B>(home,base,x0,x1);
110 template<
class A,
class B>
116 template<
class A,
class B>
119 return new (home)
Pow<A,B>(home,share,*
this);
122 template<
class A,
class B>
ExecStatus ES_SUBSUMED(Propagator &p)
void log(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
Propagator for bounds consistent pow operator
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Propagation has computed fixpoint.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
Exp(Space &home, bool share, Exp &p)
Constructor for cloning p.
Base-class for both propagators and branchers.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int p
Number of positive literals for node type.
bool same(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether two views are the same.
Execution has resulted in failure.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Propagator for bounds consistent exp operator
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Pow(Space &home, bool share, Pow &p)
Constructor for cloning p.
static ExecStatus post(Home home, FloatNum base, A x0, B x1)
Post propagator for .
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
void exp(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
int ModEventDelta
Modification event deltas.
Home class for posting propagators
double FloatNum
Floating point number base type.