Method implies

src/analysis/memory/symbolic_value.rs:877–894

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. Important: keep the performance of this function proportional to the size of self.

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

    ///
    /// Important: keep the performance of this function proportional to the size of self.
    fn implies(&self, other: &Rc<SymbolicValue>) -> bool {
        // x => true, is always true
        // false => x, is always true
        // x => x, is always true
        if other.as_bool_if_known().unwrap_or(false)
            || !self.as_bool_if_known().unwrap_or(true)
            || self.eq(other)
        {
            return true;
        }

        // x && y => x
        // y && x => x
        if let Expression::And { left, right } = &self.expression {
            return left.implies(other) || right.implies(other);
        }
        false
    }

    /// 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.