Functions | |
LinFloatExpr | Gecode::operator+ (const FloatVal &, const FloatVar &) |
Construct linear float expression as sum of float variable and float. More... | |
LinFloatExpr | Gecode::operator+ (const FloatVal &, const LinFloatExpr &) |
Construct linear float expression as sum of linear float expression and float. More... | |
LinFloatExpr | Gecode::operator+ (const FloatVar &, const FloatVal &) |
Construct linear float expression as sum of float variable and float. More... | |
LinFloatExpr | Gecode::operator+ (const LinFloatExpr &, const FloatVal &) |
Construct linear float expression as sum of linear float expression and float. More... | |
LinFloatExpr | Gecode::operator+ (const FloatVar &, const FloatVar &) |
Construct linear float expression as sum of float variables. More... | |
LinFloatExpr | Gecode::operator+ (const FloatVar &, const LinFloatExpr &) |
Construct linear float expression as sum of float variable and linear float expression. More... | |
LinFloatExpr | Gecode::operator+ (const LinFloatExpr &, const FloatVar &) |
Construct linear float expression as sum of linear float expression and float variable. More... | |
LinFloatExpr | Gecode::operator+ (const LinFloatExpr &, const LinFloatExpr &) |
Construct linear float expression as sum of linear float expressions. More... | |
LinFloatExpr | Gecode::operator - (const FloatVal &, const FloatVar &) |
Construct linear float expression as sum of float variable and float. More... | |
LinFloatExpr | Gecode::operator - (const FloatVal &, const LinFloatExpr &) |
Construct linear float expression as sum of float and linear float expression. More... | |
LinFloatExpr | Gecode::operator - (const FloatVar &, const FloatVal &) |
Construct linear float expression as sum of float variable and float. More... | |
LinFloatExpr | Gecode::operator - (const LinFloatExpr &, const FloatVal &) |
Construct linear float expression as sum of linear float expression and float. More... | |
LinFloatExpr | Gecode::operator - (const FloatVar &, const FloatVar &) |
Construct linear float expression as sum of float variables. More... | |
LinFloatExpr | Gecode::operator - (const FloatVar &, const LinFloatExpr &) |
Construct linear float expression as sum of float variable and linear float expression. More... | |
LinFloatExpr | Gecode::operator - (const LinFloatExpr &, const FloatVar &) |
Construct linear float expression as sum of linear float expression and float variable. More... | |
LinFloatExpr | Gecode::operator - (const LinFloatExpr &, const LinFloatExpr &) |
Construct linear float expression as sum of linear float expressions. More... | |
LinFloatExpr | Gecode::operator - (const FloatVar &) |
Construct linear float expression as negative of float variable. More... | |
LinFloatExpr | Gecode::operator - (const LinFloatExpr &) |
Construct linear float expression as negative of linear float expression. More... | |
LinFloatExpr | Gecode::operator * (const FloatVal &, const FloatVar &) |
Construct linear float expression as product of float coefficient and float variable. More... | |
LinFloatExpr | Gecode::operator * (const FloatVar &, const FloatVal &) |
Construct linear float expression as product of float coefficient and float variable. More... | |
LinFloatExpr | Gecode::operator * (const LinFloatExpr &, const FloatVal &) |
Construct linear float expression as product of float coefficient and linear float expression. More... | |
LinFloatExpr | Gecode::operator * (const FloatVal &, const LinFloatExpr &) |
Construct linear float expression as product of float coefficient and linear float expression. More... | |
LinFloatExpr | Gecode::sum (const FloatVarArgs &x) |
Construct linear float expression as sum of float variables. More... | |
LinFloatExpr | Gecode::sum (const FloatValArgs &a, const FloatVarArgs &x) |
Construct linear float expression as sum of float variables with coefficients. More... | |
LinFloatRel | Gecode::operator== (const FloatVal &l, const FloatVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVar &l, const FloatVal &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVar &l, const FloatVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVar &l, const BoolVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const BoolVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator != (const FloatVal &l, const FloatVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const FloatVar &l, const FloatVal &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const FloatVar &l, const FloatVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const FloatVar &l, const BoolVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const LinFloatExpr &l, const BoolVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator != (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator > (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator >= (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
Linear float expressions can be freely composed of sums and differences of float variables (Gecode::FloatVar) with float coefficients and float constants.
Linear float relations are obtained from linear float expressions with the normal relation operators.
LinFloatExpr Gecode::operator+ | ( | const FloatVal & | c, |
const FloatVar & | x | ||
) |
Construct linear float expression as sum of float variable and float.
Definition at line 401 of file float-expr.cpp.
LinFloatExpr Gecode::operator+ | ( | const FloatVal & | c, |
const LinFloatExpr & | e | ||
) |
Construct linear float expression as sum of linear float expression and float.
Definition at line 408 of file float-expr.cpp.
LinFloatExpr Gecode::operator+ | ( | const FloatVar & | x, |
const FloatVal & | c | ||
) |
Construct linear float expression as sum of float variable and float.
Definition at line 412 of file float-expr.cpp.
LinFloatExpr Gecode::operator+ | ( | const LinFloatExpr & | e, |
const FloatVal & | c | ||
) |
Construct linear float expression as sum of linear float expression and float.
Definition at line 419 of file float-expr.cpp.
LinFloatExpr Gecode::operator+ | ( | const FloatVar & | x, |
const FloatVar & | y | ||
) |
Construct linear float expression as sum of float variables.
Definition at line 423 of file float-expr.cpp.
LinFloatExpr Gecode::operator+ | ( | const FloatVar & | x, |
const LinFloatExpr & | e | ||
) |
Construct linear float expression as sum of float variable and linear float expression.
Definition at line 432 of file float-expr.cpp.
LinFloatExpr Gecode::operator+ | ( | const LinFloatExpr & | e, |
const FloatVar & | x | ||
) |
Construct linear float expression as sum of linear float expression and float variable.
Definition at line 439 of file float-expr.cpp.
LinFloatExpr Gecode::operator+ | ( | const LinFloatExpr & | e1, |
const LinFloatExpr & | e2 | ||
) |
Construct linear float expression as sum of linear float expressions.
Definition at line 446 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const FloatVal & | c, |
const FloatVar & | x | ||
) |
Construct linear float expression as sum of float variable and float.
Definition at line 451 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const FloatVal & | c, |
const LinFloatExpr & | e | ||
) |
Construct linear float expression as sum of float and linear float expression.
Definition at line 458 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const FloatVar & | x, |
const FloatVal & | c | ||
) |
Construct linear float expression as sum of float variable and float.
Definition at line 462 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const LinFloatExpr & | e, |
const FloatVal & | c | ||
) |
Construct linear float expression as sum of linear float expression and float.
Definition at line 469 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const FloatVar & | x, |
const FloatVar & | y | ||
) |
Construct linear float expression as sum of float variables.
Definition at line 473 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const FloatVar & | x, |
const LinFloatExpr & | e | ||
) |
Construct linear float expression as sum of float variable and linear float expression.
Definition at line 482 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const LinFloatExpr & | e, |
const FloatVar & | x | ||
) |
Construct linear float expression as sum of linear float expression and float variable.
Definition at line 489 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const LinFloatExpr & | e1, |
const LinFloatExpr & | e2 | ||
) |
Construct linear float expression as sum of linear float expressions.
Definition at line 496 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const FloatVar & | x | ) |
Construct linear float expression as negative of float variable.
Definition at line 501 of file float-expr.cpp.
LinFloatExpr Gecode::operator - | ( | const LinFloatExpr & | e | ) |
Construct linear float expression as negative of linear float expression.
Definition at line 508 of file float-expr.cpp.
LinFloatExpr Gecode::operator * | ( | const FloatVal & | a, |
const FloatVar & | x | ||
) |
Construct linear float expression as product of float coefficient and float variable.
Definition at line 513 of file float-expr.cpp.
LinFloatExpr Gecode::operator * | ( | const FloatVar & | x, |
const FloatVal & | a | ||
) |
Construct linear float expression as product of float coefficient and float variable.
Definition at line 523 of file float-expr.cpp.
LinFloatExpr Gecode::operator * | ( | const LinFloatExpr & | e, |
const FloatVal & | a | ||
) |
Construct linear float expression as product of float coefficient and linear float expression.
Definition at line 533 of file float-expr.cpp.
LinFloatExpr Gecode::operator * | ( | const FloatVal & | a, |
const LinFloatExpr & | e | ||
) |
Construct linear float expression as product of float coefficient and linear float expression.
Definition at line 540 of file float-expr.cpp.
LinFloatExpr Gecode::sum | ( | const FloatVarArgs & | x | ) |
Construct linear float expression as sum of float variables.
Definition at line 548 of file float-expr.cpp.
LinFloatExpr Gecode::sum | ( | const FloatValArgs & | a, |
const FloatVarArgs & | x | ||
) |
Construct linear float expression as sum of float variables with coefficients.
Definition at line 552 of file float-expr.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float equality relation.
Definition at line 49 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 53 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float equality relation.
Definition at line 57 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float equality relation.
Definition at line 61 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float equality relation.
Definition at line 65 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const BoolVar & | r | ||
) |
Construct linear float equality relation.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 69 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float equality relation.
Definition at line 73 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear float equality relation.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 77 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float disequality relation.
Definition at line 82 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 86 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float disequality relation.
Definition at line 90 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float disequality relation.
Definition at line 94 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float disequality relation.
Definition at line 98 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const FloatVar & | l, |
const BoolVar & | r | ||
) |
Construct linear float disequality relation.
LinFloatRel Gecode::operator != | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 102 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float disequality relation.
Definition at line 106 of file float-rel.cpp.
LinFloatRel Gecode::operator != | ( | const LinFloatExpr & | l, |
const BoolVar & | r | ||
) |
Construct linear float disequality relation.
LinFloatRel Gecode::operator != | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 110 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 148 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 152 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 156 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 160 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 164 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 168 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 172 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 176 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 115 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 119 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 123 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 127 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 131 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 135 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 139 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 143 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 214 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 218 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 222 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 226 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 230 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 234 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 238 of file float-rel.cpp.
LinFloatRel Gecode::operator > | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 242 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 181 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 185 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 189 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 193 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 197 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 201 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 205 of file float-rel.cpp.
LinFloatRel Gecode::operator >= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 209 of file float-rel.cpp.