Struct rustc_ap_rustc_data_structures::graph::scc::Sccs

pub struct Sccs<N: Idx, S: Idx> { /* fields omitted */ }

Strongly connected components (SCC) of a graph. The type N is the index type for the graph nodes and S is the index type for the SCCs. We can map from each node to the SCC that it participates in, and we also have the successors of each SCC.

Methods

impl<N: Idx, S: Idx> Sccs<N, S>

pub fn new(
    graph: &impl DirectedGraph<Node = N> + WithNumNodes + WithSuccessors
) -> Self

pub fn num_sccs(&self) -> usize

Returns the number of SCCs in the graph.

pub fn all_sccs(&self) -> impl Iterator<Item = S>

Returns an iterator over the SCCs in the graph.

pub fn scc(&self, r: N) -> S

Returns the SCC to which a node r belongs.

Important traits for &'_ mut [u8]

impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]

pub fn successors(&self, scc: S) -> &[S]

Returns the successors of the given SCC.

pub fn reverse(&self) -> VecGraph<S>

Construct the reverse graph of the SCC graph.

Trait Implementations

impl<N: Idx, S: Idx> DirectedGraph for Sccs<N, S>

type Node = S

impl<'graph, N: Idx, S: Idx> GraphSuccessors<'graph> for Sccs<N, S>

type Item = S

type Iter = Cloned<Iter<'graph, S>>

impl<N: Idx, S: Idx> WithNumEdges for Sccs<N, S>

fn num_edges(&self) -> usize

impl<N: Idx, S: Idx> WithNumNodes for Sccs<N, S>

fn num_nodes(&self) -> usize

impl<N: Idx, S: Idx> WithSuccessors for Sccs<N, S>

fn successors<'graph>(&'graph self, node: S) -> Self::Iter

Important traits for DepthFirstSearch<'_, G>

impl<'_, G: ?Sized> Iterator for DepthFirstSearch<'_, G> where
    G: DirectedGraph + WithNumNodes + WithSuccessors,  type Item = G::Node;

fn depth_first_search(&self, from: Self::Node) -> DepthFirstSearch<Self> where
    Self: WithNumNodes,