Lines Matching defs:dfsStack
151 std::stack<DFSState> dfsStack;
156 dfsStack.push({root, rootUses, rootUses.begin()});
157 while (!dfsStack.empty()) {
158 auto &curState = dfsStack.top();
164 dfsStack.pop();
184 dfsStack.push({*use, newUses, newUses.begin()});
308 std::stack<DFSState> dfsStack;
310 dfsStack.push({startGate, startNumIns, 0});
313 while (!dfsStack.empty()) {
314 auto &curState = dfsStack.top();
320 dfsStack.pop();
338 dfsStack.push({prev, newNumIns, 0});
346 while (dfsStack.top().cur != meet) {
347 cycleGatesList.push_back(dfsStack.top().cur);
348 dfsStack.pop();
525 std::stack<DFSState> dfsStack;
527 dfsStack.push({root, sonList[root], 0});
534 while (!dfsStack.empty()) {
535 auto &curState = dfsStack.top();
541 dfsStack.pop();
545 dfsStack.push({succ, sonList[succ], 0});