Method assign_int

src/analysis/numerical/interval_domain.rs:227–229

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

    }

    pub fn assign_int(&mut self, var: Rc<Path>, n: Integer) {
        self.assign_interval(var, singleton(n));
    }

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