Method is_top

src/analysis/memory/symbolic_value.rs:971–973

True if all possible concrete values are elements of the set corresponding to this domain.

(&self)

    /// True if all possible concrete values are elements of the set corresponding to this domain.
    fn is_top(&self) -> bool {
        matches!(self.expression, Expression::Top)
    }

    fn is_widened(&self) -> bool {
        matches!(self.expression, Expression::Widen { .. })