Searched defs:NextDFSNumber (Results 1 – 1 of 1) sorted by relevance
813 int NextDFSNumber = 2; in switchInternalEdgeToRef() local1236 int NextDFSNumber = 2; in removeInternalRefEdge() local1819 int NextDFSNumber = 2; in buildGenericSCCs() local