Lines Matching defs:prevGate
389 const auto &prevGate = prevGates[idx];
390 if (!acc.IsSchedulable(prevGate)) {
394 useCount[prevGate]++;
395 if (useCount[prevGate] == 1) {
399 acc.GetIns(prevGate, newPrevGates);
426 const auto &prevGate = prevGates[idx];
427 if (!acc.IsSchedulable(prevGate)) {
431 useCount[prevGate]--;
444 if (lowerBound.count(prevGate) == 0) {
445 lowerBound[prevGate] = curLowerBound;
447 lowerBound[prevGate] = lowestCommonAncestor(lowerBound[prevGate], curLowerBound);
449 if (useCount[prevGate] == 0) {
451 order->push_back(prevGate);
456 newState.curGate = prevGate;
457 acc.GetIns(prevGate, newPrevGates);