Generated on Thu Jan 31 2019 20:56:44 for Gecode by doxygen 1.8.15

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

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

◆ 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 401 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 408 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 412 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 419 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 423 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 432 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 439 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 446 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 451 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 458 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 462 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 469 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 473 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 482 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 489 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 496 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 501 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 508 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 513 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 523 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 533 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 540 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 548 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 553 of file float-expr.cpp.

◆ operator==() [1/8]

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

Construct linear float equality relation.

Definition at line 49 of file float-rel.cpp.

◆ operator==() [2/8]

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

Construct linear float equality relation.

Definition at line 53 of file float-rel.cpp.

◆ operator==() [3/8]

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

Construct linear float equality relation.

Definition at line 57 of file float-rel.cpp.

◆ operator==() [4/8]

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

Construct linear float equality relation.

Definition at line 61 of file float-rel.cpp.

◆ operator==() [5/8]

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

Construct linear float equality relation.

Definition at line 65 of file float-rel.cpp.

◆ operator==() [6/8]

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

Construct linear float equality relation.

Definition at line 69 of file float-rel.cpp.

◆ operator==() [7/8]

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

Construct linear float equality relation.

Definition at line 73 of file float-rel.cpp.

◆ operator==() [8/8]

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

Construct linear float equality relation.

Definition at line 77 of file float-rel.cpp.

◆ operator !=() [1/8]

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

Construct linear float disequality relation.

Definition at line 82 of file float-rel.cpp.

◆ operator !=() [2/8]

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

Construct linear float disequality relation.

Definition at line 86 of file float-rel.cpp.

◆ operator !=() [3/8]

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

Construct linear float disequality relation.

Definition at line 90 of file float-rel.cpp.

◆ operator !=() [4/8]

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

Construct linear float disequality relation.

Definition at line 94 of file float-rel.cpp.

◆ operator !=() [5/8]

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

Construct linear float disequality relation.

Definition at line 98 of file float-rel.cpp.

◆ operator !=() [6/8]

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

Construct linear float disequality relation.

Definition at line 102 of file float-rel.cpp.

◆ operator !=() [7/8]

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

Construct linear float disequality relation.

Definition at line 106 of file float-rel.cpp.

◆ operator !=() [8/8]

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

Construct linear float disequality relation.

Definition at line 110 of file float-rel.cpp.

◆ operator<() [1/8]

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

Construct linear float inequality relation.

Definition at line 148 of file float-rel.cpp.

◆ operator<() [2/8]

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

Construct linear float inequality relation.

Definition at line 152 of file float-rel.cpp.

◆ operator<() [3/8]

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

Construct linear float inequality relation.

Definition at line 156 of file float-rel.cpp.

◆ operator<() [4/8]

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

Construct linear float inequality relation.

Definition at line 160 of file float-rel.cpp.

◆ operator<() [5/8]

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

Construct linear float inequality relation.

Definition at line 164 of file float-rel.cpp.

◆ operator<() [6/8]

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

Construct linear float inequality relation.

Definition at line 168 of file float-rel.cpp.

◆ operator<() [7/8]

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

Construct linear float inequality relation.

Definition at line 172 of file float-rel.cpp.

◆ operator<() [8/8]

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

Construct linear float inequality relation.

Definition at line 176 of file float-rel.cpp.

◆ operator<=() [1/8]

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

Construct linear float inequality relation.

Definition at line 115 of file float-rel.cpp.

◆ operator<=() [2/8]

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

Construct linear float inequality relation.

Definition at line 119 of file float-rel.cpp.

◆ operator<=() [3/8]

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

Construct linear float inequality relation.

Definition at line 123 of file float-rel.cpp.

◆ operator<=() [4/8]

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

Construct linear float inequality relation.

Definition at line 127 of file float-rel.cpp.

◆ operator<=() [5/8]

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

Construct linear float inequality relation.

Definition at line 131 of file float-rel.cpp.

◆ operator<=() [6/8]

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

Construct linear float inequality relation.

Definition at line 135 of file float-rel.cpp.

◆ operator<=() [7/8]

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

Construct linear float inequality relation.

Definition at line 139 of file float-rel.cpp.

◆ operator<=() [8/8]

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

Construct linear float inequality relation.

Definition at line 143 of file float-rel.cpp.

◆ operator >() [1/8]

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

Construct linear float inequality relation.

Definition at line 214 of file float-rel.cpp.

◆ operator >() [2/8]

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

Construct linear float inequality relation.

Definition at line 218 of file float-rel.cpp.

◆ operator >() [3/8]

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

Construct linear float inequality relation.

Definition at line 222 of file float-rel.cpp.

◆ operator >() [4/8]

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

Construct linear float inequality relation.

Definition at line 226 of file float-rel.cpp.

◆ operator >() [5/8]

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

Construct linear float inequality relation.

Definition at line 230 of file float-rel.cpp.

◆ operator >() [6/8]

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

Construct linear float inequality relation.

Definition at line 234 of file float-rel.cpp.

◆ operator >() [7/8]

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

Construct linear float inequality relation.

Definition at line 238 of file float-rel.cpp.

◆ operator >() [8/8]

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

Construct linear float inequality relation.

Definition at line 242 of file float-rel.cpp.

◆ operator >=() [1/8]

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

Construct linear float inequality relation.

Definition at line 181 of file float-rel.cpp.

◆ operator >=() [2/8]

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

Construct linear float inequality relation.

Definition at line 185 of file float-rel.cpp.

◆ operator >=() [3/8]

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

Construct linear float inequality relation.

Definition at line 189 of file float-rel.cpp.

◆ operator >=() [4/8]

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

Construct linear float inequality relation.

Definition at line 193 of file float-rel.cpp.

◆ operator >=() [5/8]

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

Construct linear float inequality relation.

Definition at line 197 of file float-rel.cpp.

◆ operator >=() [6/8]

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

Construct linear float inequality relation.

Definition at line 201 of file float-rel.cpp.

◆ operator >=() [7/8]

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

Construct linear float inequality relation.

Definition at line 205 of file float-rel.cpp.

◆ operator >=() [8/8]

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

Construct linear float inequality relation.

Definition at line 209 of file float-rel.cpp.