Method not_equals

src/analysis/memory/symbolic_value.rs:1099–1109

Returns an element that is "self != other".

(&self, other: Rc<SymbolicValue>)

    /// Returns an element that is "self != other".
    fn not_equals(&self, other: Rc<SymbolicValue>) -> Rc<SymbolicValue> {
        if let (Expression::CompileTimeConstant(v1), Expression::CompileTimeConstant(v2)) =
            (&self.expression, &other.expression)
        {
            return Rc::new(v1.not_equals(v2).into());
        };
        SymbolicValue::make_binary(self.clone(), other, |left, right| Expression::Ne {
            left,
            right,
        })
    }

    /// Returns the product of two symbolic values.
    fn mul(&self, other: Rc<SymbolicValue>) -> Rc<SymbolicValue> {