Lines Matching full:vector
44 SccVisitor(vector<StateId> *scc, vector<bool> *access,
45 vector<bool> *coaccess, uint64 *props)
59 coaccess_ = new vector<bool>;
68 dfnumber_ = new vector<StateId>;
69 lowlink_ = new vector<StateId>;
70 onstack_ = new vector<bool>;
71 scc_stack_ = new vector<StateId>;
178 vector<StateId> *scc_; // State's scc number
179 vector<bool> *access_; // State's accessibility
180 vector<bool> *coaccess_; // State's coaccessibility
187 vector<StateId> *dfnumber_; // state discovery times
188 vector<StateId> *lowlink_; // lowlink[s] == dfnumber[s] => SCC root
189 vector<bool> *onstack_; // is a state on the SCC stack
190 vector<StateId> *scc_stack_; // SCC stack (w/ random access)
205 vector<bool> access;
206 vector<bool> coaccess;
210 vector<StateId> dstates;
