Searched refs:CurrScore (Results 1 – 1 of 1) sorted by relevance
771 unsigned CurrScore = UB + 1; in updateByEvent() local772 if (CurrScore == 0) in updateByEvent()778 setScoreUB(T, CurrScore); in updateByEvent()797 CurrScore); in updateByEvent()803 CurrScore); in updateByEvent()822 CurrScore); in updateByEvent()827 CurrScore); in updateByEvent()836 CurrScore); in updateByEvent()849 CurrScore); in updateByEvent()856 CurrScore); in updateByEvent()[all …]