45 using namespace Float;
54 using namespace Float;
57 for (
int i=x.
size();
i--; ) {
65 using namespace Float;
76 using namespace Float;
80 for (
int i=x.
size();
i--; ) {
89 using namespace Float;
111 using namespace Float;
131 using namespace Float;
132 if (home.
failed())
return;
133 FloatView xv(x), dv(d);
142 using namespace Float;
145 for (
int i=x.
size();
i--; ) {
146 if (home.
failed())
return;
147 FloatView xv(x[
i]), dv(d[i]);
bool failed(void) const
Check whether corresponding space is failed.
Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
BoolVar var(void) const
Return Boolean control variable.
int size(void) const
Return size of array (number of elements)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
bool same(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether two views are the same.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Reification specification.
void check(const FloatVal &n, const char *l)
Check whether float n is a valid number, otherwise throw out of limits exception with information l...
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Node * x
Pointer to corresponding Boolean expression node.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
Exception: Unknown reification mode passed as argument
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Implication for reification.
Home class for posting propagators
Exception: Arguments are of different size
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
double FloatNum
Floating point number base type.
Equivalence for reification (default)
Boolean view for Boolean variables.