Struct SccComponentCollector 

struct SccComponentCollector {
    successors: Vec<Vec<usize>>,
    components: Vec<Vec<usize>>,
}

Fields

successors: Vec<Vec<usize>>

components: Vec<Vec<usize>>

Implementations

impl SccComponentCollector

fn new(successors: Vec<Vec<usize>>) -> Self

Trait Implementations

impl Scc for SccComponentCollector

fn on_scc_found(&mut self, _root: usize, scc_components: &[usize])

Callback invoked for each discovered SCC.

fn get_next(&mut self, root: usize) -> FxHashSet<usize>

Return outgoing successors of root.

fn get_size(&mut self) -> usize

Return the number of graph nodes.

fn find_scc(&mut self)

Run SCC discovery from CFG entry block 0.

fn find_scc_from(&mut self, start: usize)

Run SCC discovery from a specific start node.

fn tarjan( &mut self, index: usize, stack: &mut Vec<usize>, instack: &mut FxHashSet<usize>, dfn: &mut Vec<usize>, low: &mut Vec<usize>, time: &mut usize, )

Recursive Tarjan traversal.