Lines Matching refs:PPChainBranchIndex
504 PPChainBranchIndex.push(0);
513 if (!PPChainBranchIndex.empty())
514 ++PPChainBranchIndex.top();
516 PPBranchLevel >= 0 && !PPChainBranchIndex.empty() &&
517 PPLevelBranchIndex[PPBranchLevel] != PPChainBranchIndex.top());
522 if (PPBranchLevel >= 0 && !PPChainBranchIndex.empty()) {
523 if (PPChainBranchIndex.top() + 1 > PPLevelBranchCount[PPBranchLevel]) {
524 PPLevelBranchCount[PPBranchLevel] = PPChainBranchIndex.top() + 1;
530 if (!PPChainBranchIndex.empty())
531 PPChainBranchIndex.pop();