Method less_than

src/analysis/memory/symbolic_value.rs:1034–1044

Returns an element that is self < other

(&self, other: Rc<SymbolicValue>)

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

    /// Returns an element that is "!self" where self is a bool.
    fn logical_not(&self) -> Rc<SymbolicValue> {