Lines Matching full:stateid
35 typedef typename A::StateId StateId;
44 SccVisitor(vector<StateId> *scc, vector<bool> *access,
68 dfnumber_ = new vector<StateId>;
69 lowlink_ = new vector<StateId>;
71 scc_stack_ = new vector<StateId>;
74 bool InitState(StateId s, StateId root) {
76 while ((StateId)dfnumber_->size() <= s) {
102 bool TreeArc(StateId s, const A &arc) { return true; }
104 bool BackArc(StateId s, const A &arc) {
105 StateId t = arc.nextstate;
119 bool ForwardOrCrossArc(StateId s, const A &arc) {
120 StateId t = arc.nextstate;
129 void FinishState(StateId s, StateId p, const A *) {
135 StateId t;
167 for (StateId i = 0; i < (StateId)scc_->size(); ++i)
178 vector<StateId> *scc_; // State's scc number
183 StateId start_;
184 StateId nstates_; // State count
185 StateId nscc_; // SCC count
187 vector<StateId> *dfnumber_; // state discovery times
188 vector<StateId> *lowlink_; // lowlink[s] == dfnumber[s] => SCC root
190 vector<StateId> *scc_stack_; // SCC stack (w/ random access)
203 typedef typename Arc::StateId StateId;
210 vector<StateId> dstates;
211 for (StateId s = 0; s < (StateId)access.size(); ++s)
