Method is_top

src/analysis/numerical/interval_domain.rs:138–140

(&self)

    }

    fn is_top(&self) -> bool {
        !self.bottom && self.intervals.is_empty()
    }

    fn set_to_top(&mut self) {
        self.bottom = false;