Lines Matching defs:UB
793 unsigned UB = getScoreUB(T);
794 unsigned CurrScore = UB + 1;
1051 // as (UB - LB). If the current Count is greater than or equal to the number
1064 const unsigned UB = getScoreUB(T);
1065 if ((UB >= ScoreToWait) && (ScoreToWait > LB)) {
1080 unsigned NeededWait = std::min(UB - ScoreToWait, getWaitCountMax(T) - 1);
1097 const unsigned UB = getScoreUB(T);
1098 if (Count >= UB)
1103 setScoreLB(T, std::max(getScoreLB(T), UB - Count));
1105 setScoreLB(T, UB);