(&self, other: &Interval)
| 244 | } |
| 245 | |
| 246 | pub fn less_equal(&self, other: &Interval) -> Option<bool> { |
| 247 | if self.is_bottom() || self.is_top() || other.is_bottom() || other.is_top() { |
| 248 | None |
| 249 | } else if self.high <= other.low { |
| 250 | Some(true) |
| 251 | } else if other.high < self.low { |
| 252 | Some(false) |
| 253 | } else { |
| 254 | None |
| 255 | } |
| 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() { |