254     assert(N->DFSNumber == -1 &&  in verify()
796     N->DFSNumber = N->LowLink = 0;  in switchInternalEdgeToRef()
808   TargetN.DFSNumber = TargetN.LowLink = -1;  in switchInternalEdgeToRef()
820     if (RootN->DFSNumber != 0) {  in switchInternalEdgeToRef()
821       assert(RootN->DFSNumber == -1 &&  in switchInternalEdgeToRef()
826     RootN->DFSNumber = RootN->LowLink = 1;  in switchInternalEdgeToRef()
837         if (ChildN.DFSNumber == 0) {  in switchInternalEdgeToRef()
844           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in switchInternalEdgeToRef()
852         if (ChildN.DFSNumber == -1) {  in switchInternalEdgeToRef()
865               N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
897       if (N->LowLink != N->DFSNumber)  in switchInternalEdgeToRef()
902       int RootDFSNumber = N->DFSNumber;  in switchInternalEdgeToRef()
908             return N->DFSNumber < RootDFSNumber;  in switchInternalEdgeToRef()
915         N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
1225       N.DFSNumber = N.LowLink = 0;  in removeInternalRefEdge()
1245     if (RootN->DFSNumber != 0) {  in removeInternalRefEdge()
1246       assert(RootN->DFSNumber == -1 &&  in removeInternalRefEdge()
1251     RootN->DFSNumber = RootN->LowLink = 1;  in removeInternalRefEdge()
1261       assert(N->DFSNumber != 0 && "We should always assign a DFS number "  in removeInternalRefEdge()
1266         if (ChildN.DFSNumber == 0) {  in removeInternalRefEdge()
1273           ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;  in removeInternalRefEdge()
1279         if (ChildN.DFSNumber == -1) {  in removeInternalRefEdge()
1301       if (N->LowLink != N->DFSNumber) {  in removeInternalRefEdge()
1309       int RootDFSNumber = N->DFSNumber;  in removeInternalRefEdge()
1315         if (N->DFSNumber < RootDFSNumber)  in removeInternalRefEdge()
1320         N->DFSNumber = -1;  in removeInternalRefEdge()
1779   N.DFSNumber = N.LowLink = -1;  in initNode()
1803     if (RootN->DFSNumber != 0) {  in buildGenericSCCs()
1804       assert(RootN->DFSNumber == -1 &&  in buildGenericSCCs()
1809     RootN->DFSNumber = RootN->LowLink = 1;  in buildGenericSCCs()
1820         if (ChildN.DFSNumber == 0) {  in buildGenericSCCs()
1825           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in buildGenericSCCs()
1835         if (ChildN.DFSNumber == -1) {  in buildGenericSCCs()
1855       if (N->LowLink != N->DFSNumber)  in buildGenericSCCs()
1860       int RootDFSNumber = N->DFSNumber;  in buildGenericSCCs()
1866             return N->DFSNumber < RootDFSNumber;  in buildGenericSCCs()
1892     N->DFSNumber = N->LowLink = 0;  in buildSCCs()
1905           N.DFSNumber = N.LowLink = -1;  in buildSCCs()