Enum rustc_data_structures::graph::scc::NodeState

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.

Fields of BeingVisited

depth: usize

InCycle

Indicates that this node is a member of the given cycle.

Fields of InCycle

scc_index: S

InCycleWith

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).

Fields of InCycleWith

parent: N

Trait Implementations

impl<N: Clone, S: Clone> Clone for NodeState<N, S>

fn clone(&self) -> NodeState<N, S>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N: Debug, S: Debug> Debug for NodeState<N, S>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<N: Copy, S: Copy> Copy for NodeState<N, S>

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.