Lines Matching refs:nextstate
50 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
63 StateId nextstate;
83 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
99 StateId nextstate; // Transition destination state
115 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
119 weight(arc.olabel, arc.weight), nextstate(arc.nextstate) {}
133 StateId nextstate; // Transition destination state
146 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
158 StateId nextstate; // Transition destination state
170 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
182 StateId nextstate; // Transition destination state
194 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
206 StateId nextstate; // Transition destination state
223 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
238 StateId nextstate; // Transition destination state
254 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
270 StateId nextstate; // Transition destination state
288 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
301 StateId nextstate; // Transition destination state
