Lines Matching defs:st
442 std::stack<DFSStack> st;
445 st.push({root, rootUse.begin(), rootUse.end()});
447 while (!st.empty()) {
448 auto& cur = st.top();
450 st.pop();
461 st.push({succ, succUse.begin(), succUse.end()});
466 while (st.top().gate != succ) {
467 log += std::to_string(acc.GetId(st.top().gate)) + " < ";
468 st.pop();
470 log += std::to_string(acc.GetId(st.top().gate));