38 #ifndef __GECODE_FLOAT_TRANSCENDENTAL_HH__
39 #define __GECODE_FLOAT_TRANSCENDENTAL_HH__
41 #ifdef GECODE_HAS_MPFR
50 namespace Gecode {
namespace Float {
namespace Transcendental {
60 template<
class A,
class B>
88 template<
class A,
class B>
Propagator for bounds consistent pow operator
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
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.
ModEventDelta med
A set of modification events (used during propagation)
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.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
double FloatNum
Floating point number base type.