Lines Matching refs:LowLink

256     assert(N->LowLink == -1 &&  in verify()
796 N->DFSNumber = N->LowLink = 0; in switchInternalEdgeToRef()
808 TargetN.DFSNumber = TargetN.LowLink = -1; in switchInternalEdgeToRef()
826 RootN->DFSNumber = RootN->LowLink = 1; in switchInternalEdgeToRef()
844 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()
865 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
880 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in switchInternalEdgeToRef()
881 if (ChildN.LowLink < N->LowLink) in switchInternalEdgeToRef()
882 N->LowLink = ChildN.LowLink; in switchInternalEdgeToRef()
897 if (N->LowLink != N->DFSNumber) in switchInternalEdgeToRef()
915 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
1225 N.DFSNumber = N.LowLink = 0; in removeInternalRefEdge()
1251 RootN->DFSNumber = RootN->LowLink = 1; in removeInternalRefEdge()
1273 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdge()
1288 assert(ChildN.LowLink != 0 && in removeInternalRefEdge()
1290 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink) in removeInternalRefEdge()
1291 N->LowLink = ChildN.LowLink; in removeInternalRefEdge()
1301 if (N->LowLink != N->DFSNumber) { in removeInternalRefEdge()
1323 N->LowLink = RefSCCNumber; in removeInternalRefEdge()
1335 N->LowLink = -1; in removeInternalRefEdge()
1375 int SCCNumber = C->begin()->LowLink; in removeInternalRefEdge()
1379 assert(N.LowLink == SCCNumber && in removeInternalRefEdge()
1381 N.LowLink = -1; in removeInternalRefEdge()
1779 N.DFSNumber = N.LowLink = -1; in initNode()
1809 RootN->DFSNumber = RootN->LowLink = 1; in buildGenericSCCs()
1825 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildGenericSCCs()
1841 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in buildGenericSCCs()
1842 if (ChildN.LowLink < N->LowLink) in buildGenericSCCs()
1843 N->LowLink = ChildN.LowLink; in buildGenericSCCs()
1855 if (N->LowLink != N->DFSNumber) in buildGenericSCCs()
1886 assert(N->LowLink >= (*Nodes.begin())->LowLink && in buildSCCs()
1892 N->DFSNumber = N->LowLink = 0; in buildSCCs()
1905 N.DFSNumber = N.LowLink = -1; in buildSCCs()