Lines Matching refs:LowLink
250 assert(N->LowLink == -1 && in verify()
782 N->DFSNumber = N->LowLink = 0; in switchInternalEdgeToRef()
794 TargetN.DFSNumber = TargetN.LowLink = -1; in switchInternalEdgeToRef()
812 RootN->DFSNumber = RootN->LowLink = 1; in switchInternalEdgeToRef()
828 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()
849 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
864 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in switchInternalEdgeToRef()
865 if (ChildN.LowLink < N->LowLink) in switchInternalEdgeToRef()
866 N->LowLink = ChildN.LowLink; in switchInternalEdgeToRef()
881 if (N->LowLink != N->DFSNumber) in switchInternalEdgeToRef()
899 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
1209 N.DFSNumber = N.LowLink = 0; in removeInternalRefEdge()
1235 RootN->DFSNumber = RootN->LowLink = 1; in removeInternalRefEdge()
1255 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdge()
1270 assert(ChildN.LowLink != 0 && in removeInternalRefEdge()
1272 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink) in removeInternalRefEdge()
1273 N->LowLink = ChildN.LowLink; in removeInternalRefEdge()
1283 if (N->LowLink != N->DFSNumber) { in removeInternalRefEdge()
1305 N->LowLink = RefSCCNumber; in removeInternalRefEdge()
1317 N->LowLink = -1; in removeInternalRefEdge()
1357 int SCCNumber = C->begin()->LowLink; in removeInternalRefEdge()
1361 assert(N.LowLink == SCCNumber && in removeInternalRefEdge()
1363 N.LowLink = -1; in removeInternalRefEdge()
1788 N.DFSNumber = N.LowLink = -1; in initNode()
1818 RootN->DFSNumber = RootN->LowLink = 1; in buildGenericSCCs()
1832 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildGenericSCCs()
1848 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in buildGenericSCCs()
1849 if (ChildN.LowLink < N->LowLink) in buildGenericSCCs()
1850 N->LowLink = ChildN.LowLink; in buildGenericSCCs()
1862 if (N->LowLink != N->DFSNumber) in buildGenericSCCs()
1893 assert(N->LowLink >= (*Nodes.begin())->LowLink && in buildSCCs()
1899 N->DFSNumber = N->LowLink = 0; in buildSCCs()
1912 N.DFSNumber = N.LowLink = -1; in buildSCCs()