705           arcp->nextstate = state_table_->FindState(
706               StateTuple(prefix_id, top.fst_id, top.nextstate));
729       StateId nextstate = flags & kArcNextStateValue  variable
731               StateTuple(tuple.prefix_id, tuple.fst_id, arc.nextstate))
733       *arcp = A(arc.ilabel, arc.olabel, arc.weight, nextstate);
742                                         tuple.fst_id, arc.nextstate);
758         StateId nextstate = flags & kArcNextStateValue  variable
760                 StateTuple(tuple.prefix_id, tuple.fst_id, arc.nextstate))
762         *arcp = A(arc.ilabel, arc.olabel, arc.weight, nextstate);
793     PrefixTuple(Label f, StateId s) : fst_id(f), nextstate(s) {}  in PrefixTuple()
796     StateId nextstate;  member
810     void Push(StateId fst_id, StateId nextstate) {  in Push()  argument
811       prefix_.push_back(PrefixTuple(fst_id, nextstate));  in Push()
839            x.prefix_[i].nextstate != y.prefix_[i].nextstate) return false;  in operator()
853         sum += x.prefix_[i].fst_id + x.prefix_[i].nextstate*kPrime0;  in operator()
884   PrefixId PushPrefix(StackPrefix prefix, Label fst_id, StateId nextstate) {  in PushPrefix()  argument
885     prefix.Push(fst_id, nextstate);  in PushPrefix()
1335     loop_.nextstate = s_;  in SetState_()