| 134 | } |
| 135 | |
| 136 | template<class T, class Policies> inline |
| 137 | interval<T, Policies> div_zero(const interval<T, Policies>& x) |
| 138 | { |
| 139 | if (::gecode_boost::numeric::interval_lib::user::is_zero(x.lower()) && |
| 140 | ::gecode_boost::numeric::interval_lib::user::is_zero(x.upper())) |
| 141 | return x; |
| 142 | else return interval<T, Policies>::whole(); |
| 143 | } |
| 144 | |
| 145 | template<class T, class Policies> inline |
| 146 | interval<T, Policies> div_zero(const T& x) |