Lines Matching refs:lowlink_
148 if ((*dfnumber_)[t] < (*lowlink_)[s]) in BackArc()
149 (*lowlink_)[s] = (*dfnumber_)[t]; in BackArc()
164 (*onstack_)[t] && (*dfnumber_)[t] < (*lowlink_)[s]) in ForwardOrCrossArc()
165 (*lowlink_)[s] = (*dfnumber_)[t]; in ForwardOrCrossArc()
181 delete lowlink_; in FinishVisit() local
197 vector<StateId> *lowlink_; // lowlink[s] == dfnumber[s] => SCC root variable
222 lowlink_ = new vector<StateId>; in InitVisit()
237 lowlink_->push_back(-1); in InitState()
241 (*lowlink_)[s] = nstates_; in InitState()
260 if ((*dfnumber_)[s] == (*lowlink_)[s]) { // root of new SCC in FinishState()
287 if ((*lowlink_)[s] < (*lowlink_)[p]) in FinishState()
288 (*lowlink_)[p] = (*lowlink_)[s]; in FinishState()