Enum SymbExpr 

pub enum SymbExpr<'tcx> {
    Constant(Const<'tcx>),
    Place(&'tcx Place<'tcx>),
    Binary(BinOp, Box<SymbExpr<'tcx>>, Box<SymbExpr<'tcx>>),
    Unary(UnOp, Box<SymbExpr<'tcx>>),
    Cast(CastKind, Box<SymbExpr<'tcx>>, Ty<'tcx>),
    Unknown,
}

Variants

Constant(Const<'tcx>)

Place(&'tcx Place<'tcx>)

Binary(BinOp, Box<SymbExpr<'tcx>>, Box<SymbExpr<'tcx>>)

Unary(UnOp, Box<SymbExpr<'tcx>>)

Cast(CastKind, Box<SymbExpr<'tcx>>, Ty<'tcx>)

Unknown

Implementations

impl<'tcx> SymbExpr<'tcx>

pub fn from_operand( op: &'tcx Operand<'tcx>, place_ctx: &Vec<&'tcx Place<'tcx>>, ) -> Self

pub fn from_rvalue( rvalue: &'tcx Rvalue<'tcx>, place_ctx: Vec<&'tcx Place<'tcx>>, ) -> Self

pub fn resolve_upper_bound<T: IntervalArithmetic + ConstConvert + Debug + Clone + PartialEq>( &mut self, vars: &VarNodes<'tcx, T>, )

pub fn resolve_lower_bound<T: IntervalArithmetic + ConstConvert + Debug + Clone + PartialEq>( &mut self, vars: &VarNodes<'tcx, T>, )

fn resolve_recursive<T: IntervalArithmetic + ConstConvert + Debug + Clone + PartialEq>( &mut self, vars: &VarNodes<'tcx, T>, depth: usize, mode: BoundMode, )

pub fn simplify(&mut self)

Trait Implementations

impl<'tcx> Clone for SymbExpr<'tcx>

fn clone(&self) -> SymbExpr<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for SymbExpr<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Display for SymbExpr<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> PartialEq for SymbExpr<'tcx>

fn eq(&self, other: &SymbExpr<'tcx>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> Eq for SymbExpr<'tcx>

impl<'tcx> StructuralPartialEq for SymbExpr<'tcx>