Lines Matching defs:succ
172 LOG_COMPILER(ERROR) << "(id=" << gateAcc.GetId(*use) << ") is succ of "
208 LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(*use) << ") is loop back succ of "
454 auto succ = *cur.it;
459 if (acc.IsNotMarked(succ)) {
460 auto succUse = acc.Uses(succ);
461 st.push({succ, succUse.begin(), succUse.end()});
462 acc.SetVisited(succ);
463 } else if (acc.IsVisited(succ)) {
466 while (st.top().gate != succ) {
544 const auto &succ = succList[idx];
545 dfsStack.push({succ, sonList[succ], 0});
546 timeIn[succ] = timestamp++;
547 jumpUp[succ][0] = cur;
549 auto jumpUpHalf = jumpUp[succ][stepSize - 1];
550 jumpUp[succ][stepSize] = jumpUp[jumpUpHalf][stepSize - 1];