Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1

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...
 

Detailed Description

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.

Function Documentation

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.