Searched refs:SCC_traverse (Results 1 – 1 of 1) sorted by relevance
644 static void SCC_traverse(SCC*, State*);670 static void SCC_traverse(SCC *s, State *x){ in SCC_traverse() function680 SCC_traverse(s, y); in SCC_traverse()740 SCC_traverse(&scc, s); in DFA_findSCCs()