Method all_ones

src/analysis/numerical/interval.rs:304–306

(&self)

    }

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

impl TryFrom<Interval> for Integer {