51       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ArcTpl()
61   Label ilabel;  variable
84       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in StringArc()
97   Label ilabel;       // Transition input label  variable
116       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in GallicArc()
119       : ilabel(arc.ilabel), olabel(arc.ilabel),  in GallicArc()
131   Label ilabel;       // Transition input label  member
147       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ReverseArc()
156   Label ilabel;       // Transition input label  member
171       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in LexicographicArc()
180   Label ilabel;       // Transition input label  member
195       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ProductArc()
204   Label ilabel;       // Transition input label  member
224       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in PowerArc()
236   Label ilabel;       // Transition input label  member
255       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in SparsePowerArc()
268   Label ilabel;       // Transition input label  member
289       : ilabel(i), olabel(o), weight(w), nextstate(s) {}  in ExpectationArc()
299   Label ilabel;       // Transition input label  member