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]);
Inverse implication for reification.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
struct Gecode::@511::NNF::@54::@55 b
For binary nodes (and, or, eqv)
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.
unsigned int size(void) const
Return size (cardinality) of set.
bool failed(void) const
Check whether corresponding space is failed.
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
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.