Method set_interval

src/analysis/numerical/interval_domain.rs:439–450

(&mut self, var: &Rc<Path>, itv: Interval)

    }

    fn set_interval(&mut self, var: &Rc<Path>, itv: Interval) {
        if self.is_bottom() {
            return;
        }
        if itv.is_bottom() {
            self.set_to_bottom();
        } else if itv.is_top() {
            self.intervals.remove(var);
        } else {
            self.intervals.insert(var.clone(), itv);
        }
    }
}

impl<Type> Debug for IntervalAbstractDomain<Type>