Method contains

src/analysis/numerical/interval_domain.rs:215–217

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

    }

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

    pub fn get_domain_type() -> AbstractDomainType {
        <Self as GetDomainType>::get_domain_type()