Searched defs:NextDFSNumber (Results 1 – 3 of 3) sorted by relevance
558 int NextDFSNumber = 2; in switchInternalEdgeToRef() local1036 int NextDFSNumber = 2; in removeInternalRefEdge() local1318 int NextDFSNumber = 2; in buildSCCs() local
776 int NextDFSNumber = 2; in switchInternalEdgeToRef() local1209 int NextDFSNumber = 2; in removeInternalRefEdge() local1595 int NextDFSNumber = 2; in buildGenericSCCs() local
876 int NextDFSNumber; variable