Method inverse_implies_not

src/analysis/memory/symbolic_value.rs:930–938

Returns true if "!self => !other" is known at compile time to be true. Returning false does not imply the implication is false, just that we do not know.

(&self, other: &Rc<SymbolicValue>)

    /// Returns true if "!self => !other" is known at compile time to be true.
    /// Returning false does not imply the implication is false, just that we do not know.
    fn inverse_implies_not(&self, other: &Rc<SymbolicValue>) -> bool {
        if self == other {
            return true;
        }
        if let Expression::And { left, right } = &other.expression {
            return self.inverse_implies_not(left) || self.implies_not(right);
        }
        false
    }

    /// True if the set of concrete values that correspond to this domain is empty.
    fn is_bottom(&self) -> bool {