Lines Matching refs:state2index_
57 state2index_(state2index), in IntervalReachVisitor()
68 while (state2index_->size() <= s) in InitState()
69 state2index_->push_back(-1); in InitState()
81 I index = (*state2index_)[s]; in InitState()
90 (*state2index_)[s] = index_++; in InitState()
129 vector<I> *state2index_; variable
150 IntervalReachVisitor<Arc> reach_visitor(fst, &isets_, &state2index_); in StateReachable()
166 if (s >= state2index_.size()) in Reach()
169 I i = state2index_[s]; in Reach()
179 vector<I> &State2Index() { return state2index_; } in State2Index()
190 vector<I> state2index_; // Finds index for a final state variable