Struct TarjanScc 

pub struct TarjanScc {
    pub nodes: HashMap<String, SccNode>,
    pub sccs: Vec<Vec<String>>,
    /* private fields */
}

Tarjan’s strongly connected components algorithm over the call graph.

Fields

nodes: HashMap<String, SccNode>

sccs: Vec<Vec<String>>

Implementations

impl TarjanScc

pub fn new(decls: &[LcnfFunDecl]) -> Self

pub fn compute(&mut self)

pub fn is_recursive(&self, name: &str) -> bool

pub fn scc_of(&self, name: &str) -> Option<&Vec<String>>

pub fn num_sccs(&self) -> usize