Lines Matching refs:StateId
44 template <class A, typename I = typename A::StateId>
47 typedef typename A::StateId StateId;
65 bool InitState(StateId s, StateId r) {
96 bool TreeArc(StateId s, const A &arc) {
100 bool BackArc(StateId s, const A &arc) {
106 bool ForwardOrCrossArc(StateId s, const A &arc) {
112 void FinishState(StateId s, StateId p, const A *arc) {
138 template <class A, typename I = typename A::StateId>
143 typedef typename A::StateId StateId;
162 void SetState(StateId s) { s_ = s; }
165 bool Reach(StateId s) {
188 StateId s_; // Current state
