Lines Matching defs:nextstate
51 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
64 StateId nextstate;
84 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
100 StateId nextstate; // Transition destination state
116 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
120 weight(arc.olabel, arc.weight), nextstate(arc.nextstate) {}
134 StateId nextstate; // Transition destination state
147 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
159 StateId nextstate; // Transition destination state
171 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
183 StateId nextstate; // Transition destination state
195 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
207 StateId nextstate; // Transition destination state
224 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
239 StateId nextstate; // Transition destination state
255 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
271 StateId nextstate; // Transition destination state
289 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
302 StateId nextstate; // Transition destination state
