Lines Matching defs:StateId
41 typedef typename A::StateId StateId;
46 TopOrderVisitor(vector<StateId> *order, bool *acyclic)
50 finish_ = new vector<StateId>;
54 bool InitState(StateId s, StateId r) { return true; }
56 bool TreeArc(StateId s, const A &arc) { return true; }
58 bool BackArc(StateId s, const A &arc) { return (*acyclic_ = false); }
60 bool ForwardOrCrossArc(StateId s, const A &arc) { return true; }
62 void FinishState(StateId s, StateId p, const A *) { finish_->push_back(s); }
67 for (StateId s = 0; s < finish_->size(); ++s)
69 for (StateId s = 0; s < finish_->size(); ++s)
76 vector<StateId> *order_;
78 vector<StateId> *finish_; // states in finishing-time order
92 typedef typename Arc::StateId StateId;
94 vector<StateId> order;
