Lines Matching refs:LowLink

254     assert(N->LowLink == -1 &&  in verify()
757 N->DFSNumber = N->LowLink = 0; in switchInternalEdgeToRef()
769 TargetN.DFSNumber = TargetN.LowLink = -1; in switchInternalEdgeToRef()
787 RootN->DFSNumber = RootN->LowLink = 1; in switchInternalEdgeToRef()
805 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()
826 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
841 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in switchInternalEdgeToRef()
842 if (ChildN.LowLink < N->LowLink) in switchInternalEdgeToRef()
843 N->LowLink = ChildN.LowLink; in switchInternalEdgeToRef()
858 if (N->LowLink != N->DFSNumber) in switchInternalEdgeToRef()
876 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
1194 N.DFSNumber = N.LowLink = 0; in removeInternalRefEdge()
1220 RootN->DFSNumber = RootN->LowLink = 1; in removeInternalRefEdge()
1242 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdge()
1257 assert(ChildN.LowLink != 0 && in removeInternalRefEdge()
1259 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink) in removeInternalRefEdge()
1260 N->LowLink = ChildN.LowLink; in removeInternalRefEdge()
1270 if (N->LowLink != N->DFSNumber) { in removeInternalRefEdge()
1292 N->LowLink = RefSCCNumber; in removeInternalRefEdge()
1304 N->LowLink = -1; in removeInternalRefEdge()
1344 int SCCNumber = C->begin()->LowLink; in removeInternalRefEdge()
1348 assert(N.LowLink == SCCNumber && in removeInternalRefEdge()
1350 N.LowLink = -1; in removeInternalRefEdge()
1584 N.DFSNumber = N.LowLink = -1; in initNode()
1615 RootN->DFSNumber = RootN->LowLink = 1; in buildGenericSCCs()
1631 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildGenericSCCs()
1647 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in buildGenericSCCs()
1648 if (ChildN.LowLink < N->LowLink) in buildGenericSCCs()
1649 N->LowLink = ChildN.LowLink; in buildGenericSCCs()
1661 if (N->LowLink != N->DFSNumber) in buildGenericSCCs()
1692 assert(N->LowLink >= (*Nodes.begin())->LowLink && in buildSCCs()
1698 N->DFSNumber = N->LowLink = 0; in buildSCCs()
1711 N.DFSNumber = N.LowLink = -1; in buildSCCs()