| 291 | } |
| 292 | |
| 293 | inline bool |
| 294 | operator ==(const FloatVal& x, const FloatVal& y) { |
| 295 | try { |
| 296 | return x.x == y.x; |
| 297 | } catch (gecode_boost::numeric::interval_lib::comparison_error&) { |
| 298 | return false; |
| 299 | } |
| 300 | } |
| 301 | inline bool |
| 302 | operator ==(const FloatVal& x, const FloatNum& y) { |
| 303 | if (!gecode_boost::numeric::interval_lib::checking_strict<FloatNum> |