51       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ArcTpl()
64   StateId nextstate;  variable
84       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in StringArc()
100   StateId nextstate;  // Transition destination state  variable
116       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in GallicArc()
120         weight(arc.olabel, arc.weight), nextstate(arc.nextstate) {}  in GallicArc()
134   StateId nextstate;  // Transition destination state  member
147       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ReverseArc()
159   StateId nextstate;  // Transition destination state  member
171       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in LexicographicArc()
183   StateId nextstate;  // Transition destination state  member
195       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ProductArc()
207   StateId nextstate;  // Transition destination state  member
224       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in PowerArc()
239   StateId nextstate;  // Transition destination state  member
255       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in SparsePowerArc()
271   StateId nextstate;  // Transition destination state  member
289       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ExpectationArc()
302   StateId nextstate;  // Transition destination state  member