Method contains

src/analysis/memory/nullness_domain.rs:25–27

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

    }

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

    pub fn set(&mut self, path: Rc<Path>, value: PointerNullness) {
        self.value_map.insert(path, value);