Method is_zero

src/analysis/numerical/interval.rs:300–302

(&self)

    }

    fn is_zero(&self) -> bool {
        self.low == Bound::Int(Integer::from(0)) && self.high == Bound::Int(Integer::from(0))
    }

    fn all_ones(&self) -> bool {
        self.low == Bound::Int(Integer::from(-1)) && self.high == Bound::Int(Integer::from(-1))