Searched defs:SccVisitor (Results 1 – 2 of 2) sorted by relevance
44 SccVisitor(vector<StateId> *scc, vector<bool> *access, in SccVisitor() function47 SccVisitor(uint64 *props) in SccVisitor() function
134 SccVisitor(vector<StateId> *scc, vector<bool> *access, in SccVisitor() function137 SccVisitor(uint64 *props) in SccVisitor() function