Generated on Sat Apr 10 2021 00:00:00 for Gecode by doxygen 1.9.1
float-expr.cpp File Reference

Go to the source code of this file.

Classes

class  Gecode::LinFloatExpr::Node
 Nodes for linear expressions. More...
 

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...
 
FloatVar Gecode::expr (Home home, const LinFloatExpr &e)
 Post float expression and return its value. More...
 

Function Documentation

◆ operator+() [1/8]

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.

◆ operator+() [2/8]

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.

◆ operator+() [3/8]

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.

◆ operator+() [4/8]

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.

◆ operator+() [5/8]

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.

◆ operator+() [6/8]

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.

◆ operator+() [7/8]

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.

◆ operator+() [8/8]

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.

◆ operator-() [1/10]

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.

◆ operator-() [2/10]

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.

◆ operator-() [3/10]

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.

◆ operator-() [4/10]

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.

◆ operator-() [5/10]

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.

◆ operator-() [6/10]

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.

◆ operator-() [7/10]

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.

◆ operator-() [8/10]

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.

◆ operator-() [9/10]

LinFloatExpr Gecode::operator- ( const FloatVar x)

Construct linear float expression as negative of float variable.

Definition at line 499 of file float-expr.cpp.

◆ operator-() [10/10]

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.

◆ operator*() [1/4]

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.

◆ operator*() [2/4]

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.

◆ operator*() [3/4]

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.

◆ operator*() [4/4]

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.

◆ sum() [1/2]

LinFloatExpr Gecode::sum ( const FloatVarArgs x)

Construct linear float expression as sum of float variables.

Definition at line 546 of file float-expr.cpp.

◆ sum() [2/2]

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.

◆ expr()

FloatVar Gecode::expr ( Home  home,
const LinFloatExpr e 
)

Post float expression and return its value.

Definition at line 556 of file float-expr.cpp.