Searched refs:NextDFSNumber (Results 1 – 1 of 1) sorted by relevance
827 int NextDFSNumber = 2; in switchInternalEdgeToRef() local844 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()1252 int NextDFSNumber = 2; in removeInternalRefEdge() local1273 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdge()1810 int NextDFSNumber = 2; in buildGenericSCCs() local1825 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildGenericSCCs()