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]);
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
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.
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
#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)
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.
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.
Gecode::IntArgs i({1, 2, 3, 4})