Lines Matching refs:StateId
36 typedef typename A::StateId StateId;
41 TopOrderVisitor(vector<StateId> *order, bool *acyclic)
45 finish_ = new vector<StateId>;
49 bool InitState(StateId s, StateId r) { return true; }
51 bool TreeArc(StateId s, const A &arc) { return true; }
53 bool BackArc(StateId s, const A &arc) { return (*acyclic_ = false); }
55 bool ForwardOrCrossArc(StateId s, const A &arc) { return true; }
57 void FinishState(StateId s, StateId p, const A *) { finish_->push_back(s); }
62 for (StateId s = 0; s < (StateId)finish_->size(); ++s)
64 for (StateId s = 0; s < (StateId)finish_->size(); ++s)
71 vector<StateId> *order_;
73 vector<StateId> *finish_; // states in finishing-time order
87 typedef typename Arc::StateId StateId;
89 vector<StateId> order;
