Method leq

src/analysis/numerical/interval_domain.rs:178–196

(&self, other: &Self)

    IntervalAbstractDomain<Type>: GetDomainType,
{
    pub fn leq(&self, other: &Self) -> bool {
        if self.is_bottom() || other.is_top() {
            return true;
        }
        if other.is_bottom() {
            return self.is_bottom();
        }
        for (path, itv) in &self.intervals {
            if !interval_leq(itv, &other.var2itv(path)) {
                return false;
            }
        }
        for (path, other_itv) in &other.intervals {
            if !self.intervals.contains_key(path) && !other_itv.is_top() {
                return false;
            }
        }
        true
    }

    pub fn rename(&mut self, old_path: &Rc<Path>, new_path: &Rc<Path>) {
        if self.contains(old_path) {