311       StateId nextstate =  in Expand()  local
312         FindState(StateTuple(prefix_id, top.fst_id, top.nextstate));  in Expand()
313       AddArc(s, A(0, 0, fst->Final(fst_state), nextstate));  in Expand()
321         StateId nextstate =  in Expand()  local
322           FindState(StateTuple(tuple.prefix_id, tuple.fst_id, arc.nextstate));  in Expand()
323         AddArc(s, A(arc.ilabel, arc.olabel, arc.weight, nextstate));  in Expand()
332                                      tuple.fst_id, arc.nextstate);  in Expand()
344           StateId nextstate =  in Expand()  local
346                 StateTuple(tuple.prefix_id, tuple.fst_id, arc.nextstate));  in Expand()
347           AddArc(s, A(arc.ilabel, arc.olabel, arc.weight, nextstate));  in Expand()
388     PrefixTuple(Label f, StateId s) : fst_id(f), nextstate(s) {}  in PrefixTuple()
391     StateId nextstate;  member
405     void Push(int fst_id, StateId nextstate) {  in Push()  argument
406       prefix_.push_back(PrefixTuple(fst_id, nextstate));  in Push()
434            x.prefix_[i].nextstate != y.prefix_[i].nextstate) return false;  in operator()
448         sum += x.prefix_[i].fst_id + x.prefix_[i].nextstate*kPrime0;  in operator()
479   int PushPrefix(StackPrefix prefix, Label fst_id, StateId nextstate) {  in PushPrefix()  argument
480     prefix.Push(fst_id, nextstate);  in PushPrefix()