Searched refs:NextDFSNumber (Results 1 – 1 of 1) sorted by relevance
823 int NextDFSNumber = 2; in switchInternalEdgeToRef() local838 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()1242 int NextDFSNumber = 2; in removeInternalRefEdges() local1261 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdges()1832 int NextDFSNumber = 2; in buildGenericSCCs() local1845 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildGenericSCCs()