Searched refs:finish_ (Results 1 – 1 of 1) sorted by relevance
50 finish_ = new vector<StateId>; in InitVisit()62 void FinishState(StateId s, StateId p, const A *) { finish_->push_back(s); } in FinishState()67 for (StateId s = 0; s < finish_->size(); ++s) in FinishVisit()69 for (StateId s = 0; s < finish_->size(); ++s) in FinishVisit()70 (*order_)[(*finish_)[finish_->size() - s - 1]] = s; in FinishVisit()72 delete finish_; in FinishVisit() local78 vector<StateId> *finish_; // states in finishing-time order variable