* Construction of linear float relations * */
| 42 | * |
| 43 | */ |
| 44 | LinFloatRel |
| 45 | operator ==(const FloatVal& l, const FloatVar& r) { |
| 46 | return LinFloatRel(l,FRT_EQ,(const LinFloatExpr&)r); |
| 47 | } |
| 48 | LinFloatRel |
| 49 | operator ==(const FloatVal& l, const LinFloatExpr& r) { |
| 50 | return LinFloatRel(l,FRT_EQ,r); |
nothing calls this directly
no test coverage detected