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 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 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 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 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 399 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 406 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 410 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 417 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 421 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 430 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 437 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 444 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 449 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 456 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 460 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 467 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 471 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 480 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 487 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 494 of file float-expr.cpp.
LinFloatExpr Gecode::operator- | ( | const FloatVar & | x | ) |
Construct linear float expression as negative of float variable.
Definition at line 499 of file float-expr.cpp.
LinFloatExpr Gecode::operator- | ( | const LinFloatExpr & | e | ) |
Construct linear float expression as negative of linear float expression.
Definition at line 506 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 511 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 521 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 531 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 538 of file float-expr.cpp.
LinFloatExpr Gecode::sum | ( | const FloatVarArgs & | x | ) |
Construct linear float expression as sum of float variables.
Definition at line 546 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 551 of file float-expr.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float equality relation.
Definition at line 45 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 49 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float equality relation.
Definition at line 53 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float equality relation.
Definition at line 57 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float equality relation.
Definition at line 61 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 65 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float equality relation.
Definition at line 69 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 73 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float disequality relation.
Definition at line 78 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 82 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float disequality relation.
Definition at line 86 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float disequality relation.
Definition at line 90 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float disequality relation.
Definition at line 94 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 98 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float disequality relation.
Definition at line 102 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 106 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 144 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 148 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 152 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 156 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 160 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 164 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 168 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 172 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 111 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 115 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 119 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 123 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 127 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 131 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 135 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 139 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 210 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 214 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 218 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 222 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 226 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 230 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 234 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 238 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const FloatVal & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 177 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 181 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const FloatVar & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 185 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 189 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const FloatVar & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 193 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 197 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 201 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 205 of file float-rel.cpp.