Struct SymbInterval 

pub struct SymbInterval<'tcx, T: IntervalArithmetic + ConstConvert + Debug> {
    range: Range<T>,
    symbound: &'tcx Place<'tcx>,
    predicate: BinOp,
    lower: SymbExpr<'tcx>,
    upper: SymbExpr<'tcx>,
}

Fields

range: Range<T>

symbound: &'tcx Place<'tcx>

predicate: BinOp

lower: SymbExpr<'tcx>

upper: SymbExpr<'tcx>

Implementations

impl<'tcx, T: IntervalArithmetic + ConstConvert + Debug> SymbInterval<'tcx, T>

pub fn new( range: Range<T>, symbound: &'tcx Place<'tcx>, predicate: BinOp, ) -> Self

pub fn get_operation(&self) -> BinOp

pub fn get_bound(&self) -> &'tcx Place<'tcx>

pub fn sym_fix_intersects( &self, bound: &VarNode<'tcx, T>, sink: &VarNode<'tcx, T>, ) -> Range<T>

Trait Implementations

impl<'tcx, T: Clone + IntervalArithmetic + ConstConvert + Debug> Clone for SymbInterval<'tcx, T>

fn clone(&self) -> SymbInterval<'tcx, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx, T: Debug + IntervalArithmetic + ConstConvert + Debug> Debug for SymbInterval<'tcx, T>

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

Formats the value using the given formatter.

impl<'tcx, T: IntervalArithmetic + ConstConvert + Debug> IntervalTypeTrait<'tcx, T> for SymbInterval<'tcx, T>

fn get_range(&self) -> &Range<T>

fn set_range(&mut self, new_range: Range<T>)

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

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