Searched refs:lowlink_ (Results 1 – 2 of 2) sorted by relevance
69 lowlink_ = new vector<StateId>; in InitVisit()83 lowlink_->push_back(-1); in InitState()87 (*lowlink_)[s] = nstates_; in InitState()106 if ((*dfnumber_)[t] < (*lowlink_)[s]) in BackArc()107 (*lowlink_)[s] = (*dfnumber_)[t]; in BackArc()122 (*onstack_)[t] && (*dfnumber_)[t] < (*lowlink_)[s]) in ForwardOrCrossArc()123 (*lowlink_)[s] = (*dfnumber_)[t]; in ForwardOrCrossArc()132 if ((*dfnumber_)[s] == (*lowlink_)[s]) { // root of new SCC in FinishState()159 if ((*lowlink_)[s] < (*lowlink_)[p]) in FinishState()160 (*lowlink_)[p] = (*lowlink_)[s]; in FinishState()[all …]
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() local197 vector<StateId> *lowlink_; // lowlink[s] == dfnumber[s] => SCC root variable222 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()[all …]