Searched refs:CurrScore (Results 1 – 1 of 1) sorted by relevance
528 unsigned CurrScore = getScoreUB(T) + 1; in updateByEvent() local529 if (CurrScore == 0) in updateByEvent()535 setScoreUB(T, CurrScore); in updateByEvent()555 CurrScore); in updateByEvent()562 CurrScore); in updateByEvent()586 CurrScore); in updateByEvent()591 CurrScore); in updateByEvent()600 CurrScore); in updateByEvent()613 CurrScore); in updateByEvent()620 CurrScore); in updateByEvent()[all …]