Method assign_var

src/analysis/numerical/interval_domain.rs:231–234

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

    }

    pub fn assign_var(&mut self, var: Rc<Path>, rvalue: Rc<Path>) {
        let itv = self.var2itv(&rvalue);
        self.assign_interval(var, itv);
    }

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