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.
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.
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.
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.
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.
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.
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.
Construct linear float expression as product of float coefficient and float variable.
Definition at line 513 of file float-expr.cpp.
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.
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.
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.
Construct linear float equality relation.
Definition at line 65 of file float-rel.cpp.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.