Method less_or_equal

src/analysis/memory/symbolic_value.rs:1021–1031

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

(&self, other: Rc<SymbolicValue>)

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

    /// Returns an element that is self < other
    fn less_than(&self, other: Rc<SymbolicValue>) -> Rc<SymbolicValue> {