Searched refs:state2index_ (Results 1 – 1 of 1) sorted by relevance
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_; variable150 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()[all …]