pub enum MaybeReachable<T> {
Unreachable,
Reachable(T),
}
Expand description
Extend a lattice with a bottom value to represent an unreachable execution.
The only useful action on an unreachable state is joining it with a reachable one to make it reachable. All other actions, gen/kill for instance, are no-ops.
Variants§
Implementations§
source§impl<T> MaybeReachable<T>
impl<T> MaybeReachable<T>
pub fn is_reachable(&self) -> bool
Trait Implementations§
source§impl<T, S: BitSetExt<T>> BitSetExt<T> for MaybeReachable<S>
impl<T, S: BitSetExt<T>> BitSetExt<T> for MaybeReachable<S>
source§impl<V: Clone> Clone for MaybeReachable<V>
impl<V: Clone> Clone for MaybeReachable<V>
source§impl<T: Debug> Debug for MaybeReachable<T>
impl<T: Debug> Debug for MaybeReachable<T>
source§impl<S, C> DebugWithContext<C> for MaybeReachable<S>where
S: DebugWithContext<C>,
impl<S, C> DebugWithContext<C> for MaybeReachable<S>where S: DebugWithContext<C>,
source§impl<T, S: GenKill<T>> GenKill<T> for MaybeReachable<S>
impl<T, S: GenKill<T>> GenKill<T> for MaybeReachable<S>
source§fn gen_all(&mut self, elems: impl IntoIterator<Item = T>)
fn gen_all(&mut self, elems: impl IntoIterator<Item = T>)
Calls
gen
for each element in elems
.source§fn kill_all(&mut self, elems: impl IntoIterator<Item = T>)
fn kill_all(&mut self, elems: impl IntoIterator<Item = T>)
Calls
kill
for each element in elems
.source§impl<T> HasBottom for MaybeReachable<T>
impl<T> HasBottom for MaybeReachable<T>
source§impl<T: JoinSemiLattice + Clone> JoinSemiLattice for MaybeReachable<T>
impl<T: JoinSemiLattice + Clone> JoinSemiLattice for MaybeReachable<T>
source§impl<T: PartialEq> PartialEq<MaybeReachable<T>> for MaybeReachable<T>
impl<T: PartialEq> PartialEq<MaybeReachable<T>> for MaybeReachable<T>
source§fn eq(&self, other: &MaybeReachable<T>) -> bool
fn eq(&self, other: &MaybeReachable<T>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl<T: Eq> Eq for MaybeReachable<T>
impl<T> StructuralEq for MaybeReachable<T>
impl<T> StructuralPartialEq for MaybeReachable<T>
Auto Trait Implementations§
impl<T> RefUnwindSafe for MaybeReachable<T>where T: RefUnwindSafe,
impl<T> Send for MaybeReachable<T>where T: Send,
impl<T> Sync for MaybeReachable<T>where T: Sync,
impl<T> Unpin for MaybeReachable<T>where T: Unpin,
impl<T> UnwindSafe for MaybeReachable<T>where T: UnwindSafe,
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
Layout§
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.