Searched defs:state2index_ (Results 1 – 1 of 1) sorted by relevance
129 vector<I> *state2index_; variable190 vector<I> state2index_; // Finds index for a final state variable