Lines Matching refs:LowLink

62     : G(&G), F(F), DFSNumber(0), LowLink(0) {  in Node()
194 assert(N->LowLink == -1 && in verify()
527 N->DFSNumber = N->LowLink = 0; in switchInternalEdgeToRef()
539 TargetN.DFSNumber = TargetN.LowLink = -1; in switchInternalEdgeToRef()
557 RootN->DFSNumber = RootN->LowLink = 1; in switchInternalEdgeToRef()
575 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in switchInternalEdgeToRef()
596 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
611 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in switchInternalEdgeToRef()
612 if (ChildN.LowLink < N->LowLink) in switchInternalEdgeToRef()
613 N->LowLink = ChildN.LowLink; in switchInternalEdgeToRef()
628 if (N->LowLink != N->DFSNumber) in switchInternalEdgeToRef()
647 N.DFSNumber = N.LowLink = -1; in switchInternalEdgeToRef()
1009 N.DFSNumber = N.LowLink = 0; in removeInternalRefEdge()
1015 N.DFSNumber = N.LowLink = -1; in removeInternalRefEdge()
1035 RootN->DFSNumber = RootN->LowLink = 1; in removeInternalRefEdge()
1057 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in removeInternalRefEdge()
1096 assert(ChildN.LowLink != 0 && in removeInternalRefEdge()
1098 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink) in removeInternalRefEdge()
1099 N->LowLink = ChildN.LowLink; in removeInternalRefEdge()
1112 if (N->LowLink != N->DFSNumber) { in removeInternalRefEdge()
1287 assert(N->LowLink >= (*Nodes.begin())->LowLink && in buildSCCs()
1293 N->DFSNumber = N->LowLink = 0; in buildSCCs()
1317 RootN->DFSNumber = RootN->LowLink = 1; in buildSCCs()
1335 ChildN.DFSNumber = ChildN.LowLink = NextDFSNumber++; in buildSCCs()
1351 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in buildSCCs()
1352 if (ChildN.LowLink < N->LowLink) in buildSCCs()
1353 N->LowLink = ChildN.LowLink; in buildSCCs()
1365 if (N->LowLink != N->DFSNumber) in buildSCCs()
1383 N.DFSNumber = N.LowLink = -1; in buildSCCs()
1432 N->LowLink = N->DFSNumber = 1; in getNextRefSCCInPostOrder()
1455 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++; in getNextRefSCCInPostOrder()
1471 assert(ChildN.LowLink > 0 && "Must have a positive low-link number!"); in getNextRefSCCInPostOrder()
1472 if (ChildN.LowLink < N->LowLink) in getNextRefSCCInPostOrder()
1473 N->LowLink = ChildN.LowLink; in getNextRefSCCInPostOrder()
1485 if (N->LowLink != N->DFSNumber) { in getNextRefSCCInPostOrder()