Searched refs:scc_stack_ (Results 1 – 1 of 1) sorted by relevance
71 scc_stack_ = new vector<StateId>; in InitVisit()75 scc_stack_->push_back(s); in InitState()134 size_t i = scc_stack_->size(); in FinishState()137 t = (*scc_stack_)[--i]; in FinishState()142 t = scc_stack_->back(); in FinishState()148 scc_stack_->pop_back(); in FinishState()174 delete scc_stack_; in FinishVisit() local190 vector<StateId> *scc_stack_; // SCC stack (w/ random access) variable