Searched defs:scc (Results 1 – 3 of 3) sorted by relevance
44 SccVisitor(vector<StateId> *scc, vector<bool> *access, in SccVisitor()
410 SccQueue(const vector<StateId> &scc, vector<Queue*> *queue) in SccQueue()647 const vector<StateId> &scc, in SccQueueType()
228 vector<StateId> scc; in RmEpsilon() local