Lines Matching refs:dfnumber_
148 if ((*dfnumber_)[t] < (*lowlink_)[s])
149 (*lowlink_)[s] = (*dfnumber_)[t];
163 if ((*dfnumber_)[t] < (*dfnumber_)[s] /* cross edge */ &&
164 (*onstack_)[t] && (*dfnumber_)[t] < (*lowlink_)[s])
165 (*lowlink_)[s] = (*dfnumber_)[t];
180 delete dfnumber_;
196 vector<StateId> *dfnumber_; // state discovery times
221 dfnumber_ = new vector<StateId>;
230 while (dfnumber_->size() <= s) {
236 dfnumber_->push_back(-1);
240 (*dfnumber_)[s] = nstates_;
260 if ((*dfnumber_)[s] == (*lowlink_)[s]) { // root of new SCC