needs to be called with lock held concode_field_sep Lock lock concode_elem_sep long accumulated_credits concode_elem_sep Map<Address,Long> credits concode_elem_sep Condition credits_available concode_elem_sep long max_credits concode_elem_sep long min_credits concode_elem_sep Average avg_block_time concode_elem_sep int num_blockings concode_field_sep int getNumBlockings concode_elem_sep void decrementAndAdd concode_elem_sep Set<Address> keys concode_elem_sep void flushAccumulatedCredits concode_elem_sep void clear concode_elem_sep double getAverageBlockTime concode_elem_sep long computeLowestCreditWithAccumulated concode_elem_sep Long remove concode_elem_sep List<Address> getMembersWithInsufficientCredits concode_elem_sep boolean decrement concode_elem_sep boolean decrement concode_elem_sep Long get concode_elem_sep void replenishAll concode_elem_sep void reset concode_elem_sep String toString concode_elem_sep List<Tuple<Address,Long>> getMembersWithCreditsLessThan concode_elem_sep long getAccumulatedCredits concode_elem_sep Long putIfAbsent concode_elem_sep long getMinCredits concode_elem_sep void replenish
long function ( ) { long loc0 = max_credits ; for ( long loc1 : credits . values ( ) ) loc0 = Math . min ( loc1 , loc0 ) ; return loc0 ; }