Method set

src/analysis/memory/nullness_domain.rs:29–31

(&mut self, path: Rc<Path>, value: PointerNullness)

    }

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

    pub fn forget(&mut self, path: &Rc<Path>) {
        self.value_map.remove(path);