(&self, other: &Interval)
| 232 | } |
| 233 | |
| 234 | pub fn less_than(&self, other: &Interval) -> Option<bool> { |
| 235 | if self.is_bottom() || self.is_top() || other.is_bottom() || other.is_top() { |
| 236 | None |
| 237 | } else if self.high < other.low { |
| 238 | Some(true) |
| 239 | } else if other.high <= self.low { |
| 240 | Some(false) |
| 241 | } else { |
| 242 | None |
| 243 | } |
| 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() { |