Method is_empty

src/analysis/abstract_domain.rs:64–66

(&self)

    }

    pub fn is_empty(&self) -> bool {
        self.numerical_domain.is_top() && self.nullness_domain.is_empty()
    }

    pub fn default() -> Self {
        Self {