| 89 | (nextafter(x.lower(),x.upper()) == x.upper())); |
| 90 | } |
| 91 | forceinline bool |
| 92 | FloatVal::singleton(void) const { |
| 93 | return gecode_boost::numeric::singleton(x); |
| 94 | } |
| 95 | forceinline bool |
| 96 | FloatVal::in(FloatNum n) const { |
| 97 | return gecode_boost::numeric::in(n,x); |