Enum rustc_data_structures::graph::scc::NodeState
source · enum NodeState<N, S> {
NotVisited,
BeingVisited {
depth: usize,
},
InCycle {
scc_index: S,
},
InCycleWith {
parent: N,
},
}
Variants§
NotVisited
This node has not yet been visited as part of the DFS.
After SCC construction is complete, this state ought to be impossible.
BeingVisited
This node is currently being walk as part of our DFS. It is on
the stack at the depth depth
.
After SCC construction is complete, this state ought to be impossible.
InCycle
Fields
§
scc_index: S
Indicates that this node is a member of the given cycle.
InCycleWith
Fields
§
parent: N
Indicates that this node is a member of whatever cycle
parent
is a member of. This state is transient: whenever we
see it, we try to overwrite it with the current state of
parent
(this is the “path compression” step of a union-find
algorithm).
Trait Implementations§
impl<N: Copy, S: Copy> Copy for NodeState<N, S>
Auto Trait Implementations§
impl<N, S> DynSend for NodeState<N, S>
impl<N, S> DynSync for NodeState<N, S>
impl<N, S> Freeze for NodeState<N, S>
impl<N, S> RefUnwindSafe for NodeState<N, S>where
N: RefUnwindSafe,
S: RefUnwindSafe,
impl<N, S> Send for NodeState<N, S>
impl<N, S> Sync for NodeState<N, S>
impl<N, S> Unpin for NodeState<N, S>
impl<N, S> UnwindSafe for NodeState<N, S>where
N: UnwindSafe,
S: 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
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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.