(&self, other: &Interval)
| 268 | } |
| 269 | |
| 270 | pub fn greater_than(&self, other: &Interval) -> Option<bool> { |
| 271 | if self.is_bottom() || self.is_top() || other.is_bottom() || other.is_top() { |
| 272 | None |
| 273 | } else if self.low > other.high { |
| 274 | Some(true) |
| 275 | } else if other.low >= self.high { |
| 276 | Some(false) |
| 277 | } else { |
| 278 | None |
| 279 | } |
| 280 | } |
| 281 | |
| 282 | pub fn equal_to(&self, other: &Interval) -> Option<bool> { |
| 283 | if let (Ok(v1), Ok(v2)) = (Integer::try_from(self), Integer::try_from(other)) { |