248     assert(N->DFSNumber == -1 &&  in verify()
782     N->DFSNumber = N->LowLink = 0;  in switchInternalEdgeToRef()
794   TargetN.DFSNumber = TargetN.LowLink = -1;  in switchInternalEdgeToRef()
806     if (RootN->DFSNumber != 0) {  in switchInternalEdgeToRef()
807       assert(RootN->DFSNumber == -1 &&  in switchInternalEdgeToRef()
812     RootN->DFSNumber = RootN->LowLink = 1;  in switchInternalEdgeToRef()
821         if (ChildN.DFSNumber == 0) {  in switchInternalEdgeToRef()
828           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in switchInternalEdgeToRef()
836         if (ChildN.DFSNumber == -1) {  in switchInternalEdgeToRef()
849               N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
881       if (N->LowLink != N->DFSNumber)  in switchInternalEdgeToRef()
886       int RootDFSNumber = N->DFSNumber;  in switchInternalEdgeToRef()
892             return N->DFSNumber < RootDFSNumber;  in switchInternalEdgeToRef()
899         N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
1209       N.DFSNumber = N.LowLink = 0;  in removeInternalRefEdge()
1229     if (RootN->DFSNumber != 0) {  in removeInternalRefEdge()
1230       assert(RootN->DFSNumber == -1 &&  in removeInternalRefEdge()
1235     RootN->DFSNumber = RootN->LowLink = 1;  in removeInternalRefEdge()
1243       assert(N->DFSNumber != 0 && "We should always assign a DFS number "  in removeInternalRefEdge()
1248         if (ChildN.DFSNumber == 0) {  in removeInternalRefEdge()
1255           ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;  in removeInternalRefEdge()
1261         if (ChildN.DFSNumber == -1) {  in removeInternalRefEdge()
1283       if (N->LowLink != N->DFSNumber) {  in removeInternalRefEdge()
1291       int RootDFSNumber = N->DFSNumber;  in removeInternalRefEdge()
1297         if (N->DFSNumber < RootDFSNumber)  in removeInternalRefEdge()
1302         N->DFSNumber = -1;  in removeInternalRefEdge()
1788   N.DFSNumber = N.LowLink = -1;  in initNode()
1812     if (RootN->DFSNumber != 0) {  in buildGenericSCCs()
1813       assert(RootN->DFSNumber == -1 &&  in buildGenericSCCs()
1818     RootN->DFSNumber = RootN->LowLink = 1;  in buildGenericSCCs()
1827         if (ChildN.DFSNumber == 0) {  in buildGenericSCCs()
1832           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in buildGenericSCCs()
1842         if (ChildN.DFSNumber == -1) {  in buildGenericSCCs()
1862       if (N->LowLink != N->DFSNumber)  in buildGenericSCCs()
1867       int RootDFSNumber = N->DFSNumber;  in buildGenericSCCs()
1873             return N->DFSNumber < RootDFSNumber;  in buildGenericSCCs()
1899     N->DFSNumber = N->LowLink = 0;  in buildSCCs()
1912           N.DFSNumber = N.LowLink = -1;  in buildSCCs()