227     assert(N->DFSNumber == -1 &&  in verify()
732     N->DFSNumber = N->LowLink = 0;  in switchInternalEdgeToRef()
744   TargetN.DFSNumber = TargetN.LowLink = -1;  in switchInternalEdgeToRef()
756     if (RootN->DFSNumber != 0) {  in switchInternalEdgeToRef()
757       assert(RootN->DFSNumber == -1 &&  in switchInternalEdgeToRef()
762     RootN->DFSNumber = RootN->LowLink = 1;  in switchInternalEdgeToRef()
773         if (ChildN.DFSNumber == 0) {  in switchInternalEdgeToRef()
780           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in switchInternalEdgeToRef()
788         if (ChildN.DFSNumber == -1) {  in switchInternalEdgeToRef()
801               N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
833       if (N->LowLink != N->DFSNumber)  in switchInternalEdgeToRef()
838       int RootDFSNumber = N->DFSNumber;  in switchInternalEdgeToRef()
844             return N->DFSNumber < RootDFSNumber;  in switchInternalEdgeToRef()
851         N.DFSNumber = N.LowLink = -1;  in switchInternalEdgeToRef()
1169       N.DFSNumber = N.LowLink = 0;  in removeInternalRefEdge()
1189     if (RootN->DFSNumber != 0) {  in removeInternalRefEdge()
1190       assert(RootN->DFSNumber == -1 &&  in removeInternalRefEdge()
1195     RootN->DFSNumber = RootN->LowLink = 1;  in removeInternalRefEdge()
1205       assert(N->DFSNumber != 0 && "We should always assign a DFS number "  in removeInternalRefEdge()
1210         if (ChildN.DFSNumber == 0) {  in removeInternalRefEdge()
1217           ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;  in removeInternalRefEdge()
1223         if (ChildN.DFSNumber == -1) {  in removeInternalRefEdge()
1245       if (N->LowLink != N->DFSNumber) {  in removeInternalRefEdge()
1253       int RootDFSNumber = N->DFSNumber;  in removeInternalRefEdge()
1259         if (N->DFSNumber < RootDFSNumber)  in removeInternalRefEdge()
1264         N->DFSNumber = -1;  in removeInternalRefEdge()
1575     if (RootN->DFSNumber != 0) {  in buildGenericSCCs()
1576       assert(RootN->DFSNumber == -1 &&  in buildGenericSCCs()
1581     RootN->DFSNumber = RootN->LowLink = 1;  in buildGenericSCCs()
1592         if (ChildN.DFSNumber == 0) {  in buildGenericSCCs()
1597           ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++;  in buildGenericSCCs()
1607         if (ChildN.DFSNumber == -1) {  in buildGenericSCCs()
1627       if (N->LowLink != N->DFSNumber)  in buildGenericSCCs()
1632       int RootDFSNumber = N->DFSNumber;  in buildGenericSCCs()
1638             return N->DFSNumber < RootDFSNumber;  in buildGenericSCCs()
1664     N->DFSNumber = N->LowLink = 0;  in buildSCCs()
1677           N.DFSNumber = N.LowLink = -1;  in buildSCCs()