Trait IntervalTypeTrait 

pub trait IntervalTypeTrait<'tcx, T: IntervalArithmetic + ConstConvert + Debug> {
    // Required methods
    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>;
}

Required Methods

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>

Implementors

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

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

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