253     assert(N->DFSNumber == -1 &&  in verify()
795     N->DFSNumber = N->LowLink = 0;  in switchInternalEdgeToRef()
807   TargetN.DFSNumber = TargetN.LowLink = -1;  in switchInternalEdgeToRef()
819     if (RootN->DFSNumber != 0) {  in switchInternalEdgeToRef()
820       assert(RootN->DFSNumber == -1 &&  in switchInternalEdgeToRef()
825     RootN->DFSNumber = RootN->LowLink = 1;  in switchInternalEdgeToRef()
836         if (ChildN.DFSNumber == 0) {  in switchInternalEdgeToRef()
843           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in switchInternalEdgeToRef()
851         if (ChildN.DFSNumber == -1) {  in switchInternalEdgeToRef()
864               N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
896       if (N->LowLink != N->DFSNumber)  in switchInternalEdgeToRef()
901       int RootDFSNumber = N->DFSNumber;  in switchInternalEdgeToRef()
907             return N->DFSNumber < RootDFSNumber;  in switchInternalEdgeToRef()
914         N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
1224       N.DFSNumber = N.LowLink = 0;  in removeInternalRefEdge()
1244     if (RootN->DFSNumber != 0) {  in removeInternalRefEdge()
1245       assert(RootN->DFSNumber == -1 &&  in removeInternalRefEdge()
1250     RootN->DFSNumber = RootN->LowLink = 1;  in removeInternalRefEdge()
1260       assert(N->DFSNumber != 0 && "We should always assign a DFS number "  in removeInternalRefEdge()
1265         if (ChildN.DFSNumber == 0) {  in removeInternalRefEdge()
1272           ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;  in removeInternalRefEdge()
1278         if (ChildN.DFSNumber == -1) {  in removeInternalRefEdge()
1300       if (N->LowLink != N->DFSNumber) {  in removeInternalRefEdge()
1308       int RootDFSNumber = N->DFSNumber;  in removeInternalRefEdge()
1314         if (N->DFSNumber < RootDFSNumber)  in removeInternalRefEdge()
1319         N->DFSNumber = -1;  in removeInternalRefEdge()
1791   N.DFSNumber = N.LowLink = -1;  in initNode()
1815     if (RootN->DFSNumber != 0) {  in buildGenericSCCs()
1816       assert(RootN->DFSNumber == -1 &&  in buildGenericSCCs()
1821     RootN->DFSNumber = RootN->LowLink = 1;  in buildGenericSCCs()
1832         if (ChildN.DFSNumber == 0) {  in buildGenericSCCs()
1837           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in buildGenericSCCs()
1847         if (ChildN.DFSNumber == -1) {  in buildGenericSCCs()
1867       if (N->LowLink != N->DFSNumber)  in buildGenericSCCs()
1872       int RootDFSNumber = N->DFSNumber;  in buildGenericSCCs()
1878             return N->DFSNumber < RootDFSNumber;  in buildGenericSCCs()
1904     N->DFSNumber = N->LowLink = 0;  in buildSCCs()
1917           N.DFSNumber = N.LowLink = -1;  in buildSCCs()