256     assert(N->DFSNumber == -1 &&  in verify()
790     N->DFSNumber = N->LowLink = 0;  in switchInternalEdgeToRef()
802   TargetN.DFSNumber = TargetN.LowLink = -1;  in switchInternalEdgeToRef()
814     if (RootN->DFSNumber != 0) {  in switchInternalEdgeToRef()
815       assert(RootN->DFSNumber == -1 &&  in switchInternalEdgeToRef()
820     RootN->DFSNumber = RootN->LowLink = 1;  in switchInternalEdgeToRef()
829         if (ChildN.DFSNumber == 0) {  in switchInternalEdgeToRef()
836           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in switchInternalEdgeToRef()
844         if (ChildN.DFSNumber == -1) {  in switchInternalEdgeToRef()
857               N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
889       if (N->LowLink != N->DFSNumber)  in switchInternalEdgeToRef()
894       int RootDFSNumber = N->DFSNumber;  in switchInternalEdgeToRef()
900             return N->DFSNumber < RootDFSNumber;  in switchInternalEdgeToRef()
907         N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
1213       N.DFSNumber = N.LowLink = 0;  in removeInternalRefEdges()
1233     if (RootN->DFSNumber != 0) {  in removeInternalRefEdges()
1234       assert(RootN->DFSNumber == -1 &&  in removeInternalRefEdges()
1239     RootN->DFSNumber = RootN->LowLink = 1;  in removeInternalRefEdges()
1247       assert(N->DFSNumber != 0 && "We should always assign a DFS number "  in removeInternalRefEdges()
1252         if (ChildN.DFSNumber == 0) {  in removeInternalRefEdges()
1259           ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;  in removeInternalRefEdges()
1265         if (ChildN.DFSNumber == -1) {  in removeInternalRefEdges()
1287       if (N->LowLink != N->DFSNumber) {  in removeInternalRefEdges()
1295       int RootDFSNumber = N->DFSNumber;  in removeInternalRefEdges()
1301         if (N->DFSNumber < RootDFSNumber)  in removeInternalRefEdges()
1306         N->DFSNumber = -1;  in removeInternalRefEdges()
1799   N.DFSNumber = N.LowLink = -1;  in initNode()
1823     if (RootN->DFSNumber != 0) {  in buildGenericSCCs()
1824       assert(RootN->DFSNumber == -1 &&  in buildGenericSCCs()
1829     RootN->DFSNumber = RootN->LowLink = 1;  in buildGenericSCCs()
1838         if (ChildN.DFSNumber == 0) {  in buildGenericSCCs()
1843           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in buildGenericSCCs()
1853         if (ChildN.DFSNumber == -1) {  in buildGenericSCCs()
1873       if (N->LowLink != N->DFSNumber)  in buildGenericSCCs()
1878       int RootDFSNumber = N->DFSNumber;  in buildGenericSCCs()
1884             return N->DFSNumber < RootDFSNumber;  in buildGenericSCCs()
1910     N->DFSNumber = N->LowLink = 0;  in buildSCCs()
1923           N.DFSNumber = N.LowLink = -1;  in buildSCCs()