Method is_empty

src/analysis/memory/nullness_domain.rs:17–19

(&self)

impl NullnessDomain {
    pub fn is_empty(&self) -> bool {
        self.value_map.is_empty()
    }

    pub fn get(&self, path: &Rc<Path>) -> Option<PointerNullness> {
        self.value_map.get(path).copied()