Home | History | Annotate | Download | only in Format

Lines Matching refs:PPChainBranchIndex

537   PPChainBranchIndex.push(0);
546   if (!PPChainBranchIndex.empty())
547     ++PPChainBranchIndex.top();
549       PPBranchLevel >= 0 && !PPChainBranchIndex.empty() &&
550       PPLevelBranchIndex[PPBranchLevel] != PPChainBranchIndex.top());
555   if (PPBranchLevel >= 0 && !PPChainBranchIndex.empty()) {
556     if (PPChainBranchIndex.top() + 1 > PPLevelBranchCount[PPBranchLevel]) {
557       PPLevelBranchCount[PPBranchLevel] = PPChainBranchIndex.top() + 1;
563   if (!PPChainBranchIndex.empty())
564     PPChainBranchIndex.pop();