reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
285 while (!PPLevelBranchIndex.empty() && 286 PPLevelBranchIndex.back() + 1 >= PPLevelBranchCount.back()) { 287 PPLevelBranchIndex.resize(PPLevelBranchIndex.size() - 1); 287 PPLevelBranchIndex.resize(PPLevelBranchIndex.size() - 1); 290 if (!PPLevelBranchIndex.empty()) { 291 ++PPLevelBranchIndex.back(); 292 assert(PPLevelBranchIndex.size() == PPLevelBranchCount.size()); 293 assert(PPLevelBranchIndex.back() <= PPLevelBranchCount.back()); 295 } while (!PPLevelBranchIndex.empty()); 711 assert(PPBranchLevel >= 0 && PPBranchLevel <= (int)PPLevelBranchIndex.size()); 712 if (PPBranchLevel == (int)PPLevelBranchIndex.size()) { 713 PPLevelBranchIndex.push_back(0); 717 bool Skip = PPLevelBranchIndex[PPBranchLevel] > 0; 724 assert(PPBranchLevel < (int)PPLevelBranchIndex.size()); 729 PPLevelBranchIndex[PPBranchLevel] != PPChainBranchIndex.top()); 733 assert(PPBranchLevel < (int)PPLevelBranchIndex.size());