Method is_top

src/analysis/abstract_domain.rs:55–57

(&self)

    }

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

    pub fn leq(&self, other: &Self) -> bool {
        self.numerical_domain.leq(&other.numerical_domain)