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