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