Method is_top

src/analysis/numerical/interval.rs:226–228

(&self)

    }

    pub fn is_top(&self) -> bool {
        self.high == Self::INF && self.low == Self::NINF
    }

    pub fn is_bottom(&self) -> bool {
        self.high < self.low