Struct BasicInterval 

pub struct BasicInterval<'tcx, T: IntervalArithmetic + ConstConvert + Debug> {
    pub range: Range<T>,
    pub lower: SymbExpr<'tcx>,
    pub upper: SymbExpr<'tcx>,
}

Fields

range: Range<T>

lower: SymbExpr<'tcx>

upper: SymbExpr<'tcx>

Implementations

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

pub fn new(range: Range<T>) -> Self

pub fn new_symb( range: Range<T>, lower: SymbExpr<'tcx>, upper: SymbExpr<'tcx>, ) -> Self

pub fn default() -> Self

Trait Implementations

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

fn clone(&self) -> BasicInterval<'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 BasicInterval<'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 BasicInterval<'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>