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;
133 FloatView xv(x), dv(d);
142 using namespace Float;
145 for (
int i=x.
size();
i--; ) {
147 FloatView xv(x[
i]), dv(d[i]);
Inverse implication for reification.
int size(void) const
Return size of array (number of elements)
ReifyMode mode(void) const
Return reification mode.
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.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Post propagator for SetVar SetOpType SetVar SetRelType r
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 .
BoolVar var(void) const
Return Boolean control variable.
Post propagator for SetVar x
#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.
#define GECODE_POST
Check for failure in a constraint post function.
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.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Equivalence for reification (default)
Boolean view for Boolean variables.