46 using namespace Float;
54 using namespace Float;
61 using namespace Float;
72 using namespace Float;
79 using namespace Float;
84 for (
int i=
x.size();
i--; )
93 using namespace Float;
100 using namespace Float;
107 using namespace Float;
114 using namespace Float;
123 using namespace Float;
132 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
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void abs(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
void nroot(Home home, FloatVar x0, int n, FloatVar x1)
Post propagator for for $n\geq 0$.
void pow(Home home, FloatVar x0, int n, FloatVar x1)
Post propagator for for $n\geq 0$.
Exception: Too few arguments available in argument array
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, C x2)
Post propagator for .
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1, C x2)
Post propagator for .
Post propagator for SetVar SetOpType SetVar y
void div(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
static ExecStatus post(Home home, A x0, B x1)
Post propagator for .
Post propagator for SetVar x
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
#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.