Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
float-rel.cpp File Reference

Go to the source code of this file.

Functions

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

Function Documentation

◆ operator==() [1/8]

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

Construct linear float equality relation.

Definition at line 45 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 49 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 53 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 57 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 61 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 65 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 69 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 73 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 78 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 82 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 86 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 90 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 94 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 98 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 102 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 106 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 110 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 114 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 118 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 122 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 126 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 130 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 134 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 138 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 143 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 147 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 151 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 155 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 159 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 163 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 167 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 171 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 177 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 181 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 185 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 189 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 193 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 197 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 201 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 205 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 210 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 214 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 218 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 222 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 226 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 230 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 234 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 238 of file float-rel.cpp.