38 #ifdef GECODE_HAS_MPFR 46 using namespace Float;
54 using namespace Float;
62 using namespace Float;
65 ::
post(home,base,x1,x0)));
70 using namespace Float;
73 ::
post(home,base,x0,x1)));
void log(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
void pow(Home home, FloatVar x0, int n, FloatVar x1)
Post propagator for for $n 0$.
const double base
Base for geometric restart sequence.
Gecode toplevel namespace
void exp(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
double FloatNum
Floating point number base type.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.