Searched refs:CurrentLevel (Results 1 – 4 of 4) sorted by relevance
260 explicit Confidence(Confidence::Level Level) : CurrentLevel(Level) {} in Confidence()264 CurrentLevel = std::min(Level, CurrentLevel); in lowerTo()268 Level getLevel() const { return CurrentLevel; } in getLevel()271 Level CurrentLevel;
179 std::vector<unsigned> CurrentLevel; in includeDepth() local183 CurrentLevel.push_back(It->second); in includeDepth()189 for (unsigned Level = 1; !CurrentLevel.empty(); ++Level) { in includeDepth()191 PreviousLevel.swap(CurrentLevel); in includeDepth()195 CurrentLevel.push_back(Child); in includeDepth()
781 const unsigned CurrentLevel = TN->getLevel(); in InsertReachable() local783 "as affected, CurrentLevel " << CurrentLevel << "\n"); in InsertReachable()815 if (SuccLevel > CurrentLevel) { in InsertReachable()
783 const unsigned CurrentLevel = TN->getLevel(); in InsertReachable() local785 "as affected, CurrentLevel " << CurrentLevel << "\n"); in InsertReachable()818 if (SuccLevel > CurrentLevel) { in InsertReachable()