Lines Matching defs:nextstate
36 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
48 StateId nextstate; // Transition destination state
60 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
72 StateId nextstate; // Transition destination state
85 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
101 StateId nextstate; // Transition destination state
117 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
121 weight(arc.olabel, arc.weight), nextstate(arc.nextstate) {}
135 StateId nextstate; // Transition destination state
148 : ilabel(i), olabel(o), weight(w), nextstate(s) {}
160 StateId nextstate; // Transition destination state
