Lines Matching refs:nextstate
159 while (distance->size() <= arc.nextstate) {
166 Weight &nd = (*distance)[arc.nextstate];
174 parent[arc.nextstate] = s;
175 arc_parent[arc.nextstate] = arc;
176 if (!enqueued[arc.nextstate]) {
177 state_queue->Enqueue(arc.nextstate);
178 enqueued[arc.nextstate] = true;
180 state_queue->Update(arc.nextstate);
195 arc_parent[d].nextstate = d_p;
359 Arc arc(rarc.ilabel, rarc.olabel, rarc.weight.Reverse(), rarc.nextstate);
362 pairs.push_back(Pair(arc.nextstate, w));
363 arc.nextstate = state;
449 StateId s = arc.nextstate - 1;
