Searched defs:TopOrderVisitor (Results 1 – 2 of 2) sorted by relevance
41 TopOrderVisitor(vector<StateId> *order, bool *acyclic) in TopOrderVisitor() function
46 TopOrderVisitor(vector<StateId> *order, bool *acyclic) in TopOrderVisitor() function