Method assign_interval

src/analysis/numerical/interval_domain.rs:236–238

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

    }

    pub fn assign_interval(&mut self, var: Rc<Path>, itv: Interval) {
        self.set_interval(&var, itv);
    }

    pub fn narrowing_with(&self, rhs: &Self) -> Self {
        self.meet(rhs)