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;
139 if (
x.size() != d.
size())
141 for (
int i=
x.size(); i--; ) {
143 FloatView xv(
x[i]), dv(d[i]);
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int n
Number of negative literals for node type.
Home class for posting propagators
unsigned int size(void) const
Return size (cardinality) of set.
Exception: Arguments are of different size
Boolean view for Boolean variables.
Exception: Unknown reification mode passed as argument
Reification specification.
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
double FloatNum
Floating point number base type.
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
@ RM_EQV
Equivalence for reification (default)
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar x