| 84 | } |
| 85 | |
| 86 | forceinline bool |
| 87 | FloatVal::tight(void) const { |
| 88 | return (gecode_boost::numeric::singleton(x) || |
| 89 | (nextafter(x.lower(),x.upper()) == x.upper())); |
| 90 | } |
| 91 | forceinline bool |
| 92 | FloatVal::singleton(void) const { |
| 93 | return gecode_boost::numeric::singleton(x); |