Lines Matching refs:LowLink
258 assert(N->LowLink == -1 && in verify()
790 N->DFSNumber = N->LowLink = 0; in switchInternalEdgeToRef()
802 TargetN.DFSNumber = TargetN.LowLink = -1; in switchInternalEdgeToRef()
820 RootN->DFSNumber = RootN->LowLink = 1; in switchInternalEdgeToRef()
836 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()
857 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
872 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in switchInternalEdgeToRef()
873 if (ChildN.LowLink < N->LowLink) in switchInternalEdgeToRef()
874 N->LowLink = ChildN.LowLink; in switchInternalEdgeToRef()
889 if (N->LowLink != N->DFSNumber) in switchInternalEdgeToRef()
907 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
1213 N.DFSNumber = N.LowLink = 0; in removeInternalRefEdges()
1239 RootN->DFSNumber = RootN->LowLink = 1; in removeInternalRefEdges()
1259 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdges()
1274 assert(ChildN.LowLink != 0 && in removeInternalRefEdges()
1276 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink) in removeInternalRefEdges()
1277 N->LowLink = ChildN.LowLink; in removeInternalRefEdges()
1287 if (N->LowLink != N->DFSNumber) { in removeInternalRefEdges()
1309 N->LowLink = RefSCCNumber; in removeInternalRefEdges()
1321 N->LowLink = -1; in removeInternalRefEdges()
1361 int SCCNumber = C->begin()->LowLink; in removeInternalRefEdges()
1365 assert(N.LowLink == SCCNumber && in removeInternalRefEdges()
1367 N.LowLink = -1; in removeInternalRefEdges()
1799 N.DFSNumber = N.LowLink = -1; in initNode()
1829 RootN->DFSNumber = RootN->LowLink = 1; in buildGenericSCCs()
1843 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildGenericSCCs()
1859 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in buildGenericSCCs()
1860 if (ChildN.LowLink < N->LowLink) in buildGenericSCCs()
1861 N->LowLink = ChildN.LowLink; in buildGenericSCCs()
1873 if (N->LowLink != N->DFSNumber) in buildGenericSCCs()
1904 assert(N->LowLink >= (*Nodes.begin())->LowLink && in buildSCCs()
1910 N->DFSNumber = N->LowLink = 0; in buildSCCs()
1923 N.DFSNumber = N.LowLink = -1; in buildSCCs()