Lines Matching refs:StateId
33 typedef int StateId;
35 StdArc(Label i, Label o, Weight w, StateId s)
48 StateId nextstate; // Transition destination state
57 typedef int StateId;
59 LogArc(Label i, Label o, Weight w, StateId s)
72 StateId nextstate; // Transition destination state
82 typedef int StateId;
84 StringArc(Label i, Label o, Weight w, StateId s)
101 StateId nextstate; // Transition destination state
111 typedef typename A::StateId StateId;
116 GallicArc(Label i, Label o, Weight w, StateId s)
135 StateId nextstate; // Transition destination state
145 typedef typename A::StateId StateId;
147 ReverseArc(Label i, Label o, Weight w, StateId s)
160 StateId nextstate; // Transition destination state
