Method get_paths_iter

src/analysis/numerical/interval_domain.rs:211–213

(&self)

    }

    pub fn get_paths_iter(&self) -> Vec<Rc<Path>> {
        self.intervals.keys().cloned().collect()
    }

    pub fn contains(&self, path: &Rc<Path>) -> bool {
        self.intervals.contains_key(path)