Lines Matching refs:DFSNumber
57 : G(&G), F(F), DFSNumber(0), LowLink(0) { in Node()
160 N.DFSNumber = N.LowLink = -1; in insert()
382 N->LowLink = N->DFSNumber = 1; in internalDFS()
385 assert(N->DFSNumber != 0 && "We should always assign a DFS number " in internalDFS()
412 if (ChildN.DFSNumber == 0) { in internalDFS()
419 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in internalDFS()
435 if (N->LowLink == N->DFSNumber) { in internalDFS()
474 N->DFSNumber = 0; in removeIntraSCCEdge()
494 if (N->DFSNumber == 0) in removeIntraSCCEdge()
586 while (!NodeStack.empty() && NodeStack.back()->DFSNumber > RootN->DFSNumber) { in formSCC()
628 } while (N->DFSNumber != 0); in getNextSCCInPostOrder()
630 N->LowLink = N->DFSNumber = 1; in getNextSCCInPostOrder()
635 assert(N->DFSNumber != 0 && "We should always assign a DFS number " in getNextSCCInPostOrder()
641 if (ChildN.DFSNumber == 0) { in getNextSCCInPostOrder()
650 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in getNextSCCInPostOrder()
665 if (N->LowLink == N->DFSNumber) in getNextSCCInPostOrder()