41 #ifdef GECODE_HAS_MPFR 50 using namespace Float;
58 using namespace Float;
65 using namespace Float;
76 using namespace Float;
83 using namespace Float;
88 for (
int i=x.
size();
i--; )
97 using namespace Float;
104 using namespace Float;
111 using namespace Float;
118 using namespace Float;
127 using namespace Float;
136 using namespace Float;
142 #ifdef GECODE_HAS_MPFR 145 using namespace Float;
152 using namespace Float;
155 ::
post(home,x1,x0)));
160 using namespace Float;
163 ::
post(home,base,x1,x0)));
168 using namespace Float;
171 ::
post(home,base,x0,x1)));
176 using namespace Float;
183 using namespace Float;
190 using namespace Float;
197 using namespace Float;
204 using namespace Float;
211 using namespace Float;
219 using namespace Float;
227 using namespace Float;
235 using namespace Float;
243 using namespace Float;
static ExecStatus post(Home home, ViewArray< View > &x, View y)
Post propagator .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
void mult(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Exception: Value out of limits
int size(void) const
Return size of array (number of elements)
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
void log(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void abs(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
void nroot(Home home, FloatVar x0, int n, FloatVar x1)
Post propagator for for $n 0$.
void pow(Home home, FloatVar x0, int n, FloatVar x1)
Post propagator for for $n 0$.
Exception: Too few arguments available in argument array
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus post(Home home, View x0, View x1)
Post propagator for .
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
static ExecStatus post(Home home, A x0, B x1, int n)
Post propagator for .
void sqr(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
void sqrt(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1, int n)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
void asin(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
Boolean integer variables.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void cos(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
void div(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
const double base
Base for geometric restart sequence.
Node * x
Pointer to corresponding Boolean expression node.
void tan(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
static ExecStatus post(Home home, View x0, View x1, View x2)
Post propagator .
Gecode toplevel namespace
void sin(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
void acos(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
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.
void atan(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.