(&self, other: &Interval)
| 256 | } |
| 257 | |
| 258 | pub fn greater_equal(&self, other: &Interval) -> Option<bool> { |
| 259 | if self.is_bottom() || self.is_top() || other.is_bottom() || other.is_top() { |
| 260 | None |
| 261 | } else if self.low >= other.high { |
| 262 | Some(true) |
| 263 | } else if other.low > self.high { |
| 264 | Some(false) |
| 265 | } else { |
| 266 | None |
| 267 | } |
| 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() { |