Method get_interval

src/analysis/numerical/interval_domain.rs:223–225

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

    }

    pub fn get_interval(&self, var: &Rc<Path>) -> Interval {
        self.var2itv(var)
    }

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