41 using namespace Float;
50 using namespace Float;
53 for (
int i=x.
size();
i--; ) {
61 using namespace Float;
72 using namespace Float;
76 for (
int i=x.
size();
i--; ) {
85 using namespace Float;
107 using namespace Float;
127 using namespace Float;
129 FloatView xv(x), dv(d);
138 using namespace Float;
141 for (
int i=x.
size();
i--; ) {
143 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 .
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Reification specification.
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.