Lines Matching defs:nextstate
310 StateId nextstate =
311 FindState(StateTuple(prefix_id, top.fst_id, top.nextstate));
312 AddArc(s, A(0, 0, fst->Final(fst_state), nextstate));
320 StateId nextstate =
321 FindState(StateTuple(tuple.prefix_id, tuple.fst_id, arc.nextstate));
322 AddArc(s, A(arc.ilabel, arc.olabel, arc.weight, nextstate));
331 tuple.fst_id, arc.nextstate);
343 StateId nextstate =
345 StateTuple(tuple.prefix_id, tuple.fst_id, arc.nextstate));
346 AddArc(s, A(arc.ilabel, arc.olabel, arc.weight, nextstate));
387 PrefixTuple(Label f, StateId s) : fst_id(f), nextstate(s) {}
390 StateId nextstate;
404 void Push(int fst_id, StateId nextstate) {
405 prefix_.push_back(PrefixTuple(fst_id, nextstate));
433 x.prefix_[i].nextstate != y.prefix_[i].nextstate) return false;
447 sum += x.prefix_[i].fst_id + x.prefix_[i].nextstate*kPrime0;
478 int PushPrefix(StackPrefix prefix, Label fst_id, StateId nextstate) {
479 prefix.Push(fst_id, nextstate);
