Skip to main content

IntervalTypeTrait

rapx::analysis::range::domain::symbolic_expr

Trait IntervalTypeTrait 

Source 
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§

Source

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

Source

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

Source

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

Source

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

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§