Struct NumericPredicate 

pub struct NumericPredicate<'tcx> {
    pub lhs: ContractExpr<'tcx>,
    pub op: RelOp,
    pub rhs: ContractExpr<'tcx>,
}

Fields

lhs: ContractExpr<'tcx>

op: RelOp

rhs: ContractExpr<'tcx>

Implementations

impl<'tcx> NumericPredicate<'tcx>

pub fn new(lhs: ContractExpr<'tcx>, op: RelOp, rhs: ContractExpr<'tcx>) -> Self

pub fn from_mir_locals(lhs: usize, rhs: usize, op: MirBinOp) -> Option<Self>

Trait Implementations

impl<'tcx> Clone for NumericPredicate<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for NumericPredicate<'tcx>

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

Formats the value using the given formatter.