Generated on Fri Oct 19 11:25:36 2018 for Gecode by doxygen 1.6.3

Linear float expressions and relations
[Direct modeling support]

Functions

LinFloatExpr Gecode::operator+ (const FloatVal &, const FloatVar &)
 Construct linear float expression as sum of float variable and float.
LinFloatExpr Gecode::operator+ (const FloatVal &, const LinFloatExpr &)
 Construct linear float expression as sum of linear float expression and float.
LinFloatExpr Gecode::operator+ (const FloatVar &, const FloatVal &)
 Construct linear float expression as sum of float variable and float.
LinFloatExpr Gecode::operator+ (const LinFloatExpr &, const FloatVal &)
 Construct linear float expression as sum of linear float expression and float.
LinFloatExpr Gecode::operator+ (const FloatVar &, const FloatVar &)
 Construct linear float expression as sum of float variables.
LinFloatExpr Gecode::operator+ (const FloatVar &, const LinFloatExpr &)
 Construct linear float expression as sum of float variable and linear float expression.
LinFloatExpr Gecode::operator+ (const LinFloatExpr &, const FloatVar &)
 Construct linear float expression as sum of linear float expression and float variable.
LinFloatExpr Gecode::operator+ (const LinFloatExpr &, const LinFloatExpr &)
 Construct linear float expression as sum of linear float expressions.
LinFloatExpr Gecode::operator- (const FloatVal &, const FloatVar &)
 Construct linear float expression as sum of float variable and float.
LinFloatExpr Gecode::operator- (const FloatVal &, const LinFloatExpr &)
 Construct linear float expression as sum of float and linear float expression.
LinFloatExpr Gecode::operator- (const FloatVar &, const FloatVal &)
 Construct linear float expression as sum of float variable and float.
LinFloatExpr Gecode::operator- (const LinFloatExpr &, const FloatVal &)
 Construct linear float expression as sum of linear float expression and float.
LinFloatExpr Gecode::operator- (const FloatVar &, const FloatVar &)
 Construct linear float expression as sum of float variables.
LinFloatExpr Gecode::operator- (const FloatVar &, const LinFloatExpr &)
 Construct linear float expression as sum of float variable and linear float expression.
LinFloatExpr Gecode::operator- (const LinFloatExpr &, const FloatVar &)
 Construct linear float expression as sum of linear float expression and float variable.
LinFloatExpr Gecode::operator- (const LinFloatExpr &, const LinFloatExpr &)
 Construct linear float expression as sum of linear float expressions.
LinFloatExpr Gecode::operator- (const FloatVar &)
 Construct linear float expression as negative of float variable.
LinFloatExpr Gecode::operator- (const LinFloatExpr &)
 Construct linear float expression as negative of linear float expression.
LinFloatExpr Gecode::operator* (const FloatVal &, const FloatVar &)
 Construct linear float expression as product of float coefficient and float variable.
LinFloatExpr Gecode::operator* (const FloatVar &, const FloatVal &)
 Construct linear float expression as product of float coefficient and float variable.
LinFloatExpr Gecode::operator* (const LinFloatExpr &, const FloatVal &)
 Construct linear float expression as product of float coefficient and linear float expression.
LinFloatExpr Gecode::operator* (const FloatVal &, const LinFloatExpr &)
 Construct linear float expression as product of float coefficient and linear float expression.
LinFloatExpr Gecode::sum (const FloatVarArgs &x)
 Construct linear float expression as sum of float variables.
LinFloatExpr Gecode::sum (const FloatValArgs &a, const FloatVarArgs &x)
 Construct linear float expression as sum of float variables with coefficients.
LinFloatRel Gecode::operator== (const FloatVal &l, const FloatVar &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator== (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator== (const FloatVar &l, const FloatVal &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator== (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator== (const FloatVar &l, const FloatVar &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator== (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator== (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator== (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float equality relation.
LinFloatRel Gecode::operator!= (const FloatVal &l, const FloatVar &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator!= (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator!= (const FloatVar &l, const FloatVal &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator!= (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator!= (const FloatVar &l, const FloatVar &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator!= (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator!= (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator!= (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float disequality relation.
LinFloatRel Gecode::operator< (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator< (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator< (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator< (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator< (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator< (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator< (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator< (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator<= (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator> (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation.
LinFloatRel Gecode::operator>= (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation.

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.

LinFloatExpr Gecode::operator+ ( const FloatVal &  c,
const LinFloatExpr &  e 
)

Construct linear float expression as sum of linear float expression and float.

LinFloatExpr Gecode::operator+ ( const FloatVar &  x,
const FloatVal &  c 
)

Construct linear float expression as sum of float variable and float.

LinFloatExpr Gecode::operator+ ( const LinFloatExpr &  e,
const FloatVal &  c 
)

Construct linear float expression as sum of linear float expression and float.

LinFloatExpr Gecode::operator+ ( const FloatVar &  x,
const FloatVar &  y 
)

Construct linear float expression as sum of float variables.

LinFloatExpr Gecode::operator+ ( const FloatVar &  x,
const LinFloatExpr &  e 
)

Construct linear float expression as sum of float variable and linear float expression.

LinFloatExpr Gecode::operator+ ( const LinFloatExpr &  e,
const FloatVar &  x 
)

Construct linear float expression as sum of linear float expression and float variable.

LinFloatExpr Gecode::operator+ ( const LinFloatExpr &  e1,
const LinFloatExpr &  e2 
)

Construct linear float expression as sum of linear float expressions.

LinFloatExpr Gecode::operator- ( const FloatVal &  c,
const FloatVar &  x 
)

Construct linear float expression as sum of float variable and float.

LinFloatExpr Gecode::operator- ( const FloatVal &  c,
const LinFloatExpr &  e 
)

Construct linear float expression as sum of float and linear float expression.

LinFloatExpr Gecode::operator- ( const FloatVar &  x,
const FloatVal &  c 
)

Construct linear float expression as sum of float variable and float.

LinFloatExpr Gecode::operator- ( const LinFloatExpr &  e,
const FloatVal &  c 
)

Construct linear float expression as sum of linear float expression and float.

LinFloatExpr Gecode::operator- ( const FloatVar &  x,
const FloatVar &  y 
)

Construct linear float expression as sum of float variables.

LinFloatExpr Gecode::operator- ( const FloatVar &  x,
const LinFloatExpr &  e 
)

Construct linear float expression as sum of float variable and linear float expression.

LinFloatExpr Gecode::operator- ( const LinFloatExpr &  e,
const FloatVar &  x 
)

Construct linear float expression as sum of linear float expression and float variable.

LinFloatExpr Gecode::operator- ( const LinFloatExpr &  e1,
const LinFloatExpr &  e2 
)

Construct linear float expression as sum of linear float expressions.

LinFloatExpr Gecode::operator- ( const FloatVar &  x  ) 

Construct linear float expression as negative of float variable.

LinFloatExpr Gecode::operator- ( const LinFloatExpr &  e  ) 

Construct linear float expression as negative of linear float expression.

LinFloatExpr Gecode::operator* ( const FloatVal &  a,
const FloatVar &  x 
)

Construct linear float expression as product of float coefficient and float variable.

LinFloatExpr Gecode::operator* ( const FloatVar &  x,
const FloatVal &  a 
)

Construct linear float expression as product of float coefficient and float variable.

LinFloatExpr Gecode::operator* ( const LinFloatExpr &  e,
const FloatVal &  a 
)

Construct linear float expression as product of float coefficient and linear float expression.

LinFloatExpr Gecode::operator* ( const FloatVal &  a,
const LinFloatExpr &  e 
)

Construct linear float expression as product of float coefficient and linear float expression.

LinFloatExpr Gecode::sum ( const FloatVarArgs &  x  ) 

Construct linear float expression as sum of float variables.

LinFloatExpr Gecode::sum ( const FloatValArgs &  a,
const FloatVarArgs &  x 
)

Construct linear float expression as sum of float variables with coefficients.

LinFloatRel Gecode::operator== ( const FloatVal &  l,
const FloatVar &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator== ( const FloatVal &  l,
const LinFloatExpr &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator== ( const FloatVar &  l,
const FloatVal &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator== ( const LinFloatExpr &  l,
const FloatVal &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator== ( const FloatVar &  l,
const FloatVar &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator== ( const FloatVar &  l,
const LinFloatExpr &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator== ( const LinFloatExpr &  l,
const FloatVar &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator== ( const LinFloatExpr &  l,
const LinFloatExpr &  r 
)

Construct linear float equality relation.

LinFloatRel Gecode::operator!= ( const FloatVal &  l,
const FloatVar &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!= ( const FloatVal &  l,
const LinFloatExpr &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!= ( const FloatVar &  l,
const FloatVal &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!= ( const LinFloatExpr &  l,
const FloatVal &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!= ( const FloatVar &  l,
const FloatVar &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!= ( const FloatVar &  l,
const LinFloatExpr &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!= ( const LinFloatExpr &  l,
const FloatVar &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!= ( const LinFloatExpr &  l,
const LinFloatExpr &  r 
)

Construct linear float disequality relation.

LinFloatRel Gecode::operator< ( const FloatVal &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator< ( const FloatVal &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator< ( const FloatVar &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator< ( const LinFloatExpr &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator< ( const FloatVar &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator< ( const FloatVar &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator< ( const LinFloatExpr &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator< ( const LinFloatExpr &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const FloatVal &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const FloatVal &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const FloatVar &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const LinFloatExpr &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const FloatVar &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const FloatVar &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const LinFloatExpr &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<= ( const LinFloatExpr &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const FloatVal &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const FloatVal &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const FloatVar &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const LinFloatExpr &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const FloatVar &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const FloatVar &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const LinFloatExpr &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator> ( const LinFloatExpr &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const FloatVal &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const FloatVal &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const FloatVar &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const LinFloatExpr &  l,
const FloatVal &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const FloatVar &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const FloatVar &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const LinFloatExpr &  l,
const FloatVar &  r 
)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>= ( const LinFloatExpr &  l,
const LinFloatExpr &  r 
)

Construct linear float inequality relation.