Struct rustc_ap_rustc_data_structures::graph::scc::Sccs[−][src]

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

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.

Implementations

impl<N: Idx, S: Idx> Sccs<N, S>[src]

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

pub fn num_sccs(&self) -> usize[src]

Returns the number of SCCs in the graph.

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

Returns an iterator over the SCCs in the graph.

The SCCs will be iterated in dependency order (or post order), meaning that if S1 -> S2, we will visit S2 first and S1 after. This is convenient when the edges represent dependencies: when you visit S1, the value for S2 will already have been computed.

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

Returns the SCC to which a node r belongs.

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

Notable traits for &'_ [u8]

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

Returns the successors of the given SCC.

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

Construct the reverse graph of the SCC graph.

Trait Implementations

impl<N: Idx, S: Idx> DirectedGraph for Sccs<N, S>[src]

type Node = S

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

type Item = S

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

impl<N: Idx, S: Idx> WithNumEdges for Sccs<N, S>[src]

fn num_edges(&self) -> usize[src]

impl<N: Idx, S: Idx> WithNumNodes for Sccs<N, S>[src]

fn num_nodes(&self) -> usize[src]

impl<N: Idx, S: Idx> WithSuccessors for Sccs<N, S>[src]

fn successors(&self, node: S) -> <Self as GraphSuccessors<'_>>::Iter[src]

Auto Trait Implementations

impl<N, S> RefUnwindSafe for Sccs<N, S> where
    S: RefUnwindSafe, 

impl<N, S> Send for Sccs<N, S> where
    S: Send, 

impl<N, S> Sync for Sccs<N, S> where
    S: Sync, 

impl<N, S> Unpin for Sccs<N, S> where
    S: Unpin, 

impl<N, S> UnwindSafe for Sccs<N, S> where
    S: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T> Instrument for T[src]

fn instrument(self, span: Span) -> Instrumented<Self>[src]

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>[src]

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, 

pub fn vzip(self) -> V

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]

impl<T> Erased for T[src]