Lines Matching refs:LowLink

255     assert(N->LowLink == -1 &&  in verify()
795 N->DFSNumber = N->LowLink = 0; in switchInternalEdgeToRef()
807 TargetN.DFSNumber = TargetN.LowLink = -1; in switchInternalEdgeToRef()
825 RootN->DFSNumber = RootN->LowLink = 1; in switchInternalEdgeToRef()
843 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()
864 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
879 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in switchInternalEdgeToRef()
880 if (ChildN.LowLink < N->LowLink) in switchInternalEdgeToRef()
881 N->LowLink = ChildN.LowLink; in switchInternalEdgeToRef()
896 if (N->LowLink != N->DFSNumber) in switchInternalEdgeToRef()
914 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
1224 N.DFSNumber = N.LowLink = 0; in removeInternalRefEdge()
1250 RootN->DFSNumber = RootN->LowLink = 1; in removeInternalRefEdge()
1272 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdge()
1287 assert(ChildN.LowLink != 0 && in removeInternalRefEdge()
1289 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink) in removeInternalRefEdge()
1290 N->LowLink = ChildN.LowLink; in removeInternalRefEdge()
1300 if (N->LowLink != N->DFSNumber) { in removeInternalRefEdge()
1322 N->LowLink = RefSCCNumber; in removeInternalRefEdge()
1334 N->LowLink = -1; in removeInternalRefEdge()
1374 int SCCNumber = C->begin()->LowLink; in removeInternalRefEdge()
1378 assert(N.LowLink == SCCNumber && in removeInternalRefEdge()
1380 N.LowLink = -1; in removeInternalRefEdge()
1791 N.DFSNumber = N.LowLink = -1; in initNode()
1821 RootN->DFSNumber = RootN->LowLink = 1; in buildGenericSCCs()
1837 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildGenericSCCs()
1853 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in buildGenericSCCs()
1854 if (ChildN.LowLink < N->LowLink) in buildGenericSCCs()
1855 N->LowLink = ChildN.LowLink; in buildGenericSCCs()
1867 if (N->LowLink != N->DFSNumber) in buildGenericSCCs()
1898 assert(N->LowLink >= (*Nodes.begin())->LowLink && in buildSCCs()
1904 N->DFSNumber = N->LowLink = 0; in buildSCCs()
1917 N.DFSNumber = N.LowLink = -1; in buildSCCs()