Lines Matching refs:nextstate
116 while (distance->size() <= arc.nextstate) {
123 Weight &nd = (*distance)[arc.nextstate];
127 parent[arc.nextstate] = s;
128 arc_parent[arc.nextstate] = arc;
129 if (!enqueued[arc.nextstate]) {
130 state_queue->Enqueue(arc.nextstate);
131 enqueued[arc.nextstate] = true;
133 state_queue->Update(arc.nextstate);
158 arc_parent[d].nextstate = d_p;
311 Arc arc(rarc.ilabel, rarc.olabel, rarc.weight.Reverse(), rarc.nextstate);
314 pairs.push_back(Pair(arc.nextstate, w));
315 arc.nextstate = state;
