pub struct Meet;Implementations§
Source§impl Meet
impl Meet
pub fn widen<'tcx, T: IntervalArithmetic + ConstConvert>( op: &mut BasicOpKind<'tcx, T>, constant_vector: &[T], vars: &mut VarNodes<'tcx, T>, ) -> bool
pub fn narrow<'tcx, T: IntervalArithmetic + ConstConvert>( op: &mut BasicOpKind<'tcx, T>, vars: &mut VarNodes<'tcx, T>, ) -> bool
Auto Trait Implementations§
impl Freeze for Meet
impl RefUnwindSafe for Meet
impl Send for Meet
impl Sync for Meet
impl Unpin for Meet
impl UnwindSafe for Meet
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more