Searched defs:NextDFSNumber (Results 1 – 1 of 1) sorted by relevance
821 int NextDFSNumber = 2; switchInternalEdgeToRef() local 1240 int NextDFSNumber = 2; removeInternalRefEdges() local 1830 int NextDFSNumber = 2; buildGenericSCCs() local