src/bp/template_lib/utils.h
void decrement(void) {
    if(counter_ > counter_min_) {
      counter_ -= 1;
    }
  }
// Decrements the counter (saturating).
Decrements the counter (saturating).
Decrements the counter ( saturating ) .
void decrement(void) {
    if(counter_ > counter_min_) {
      counter_ -= 1;
    }
  }
void decrement ( void ) { if ( counter_ > counter_min_ ) { counter_ -= 1 ; } }
Decrements the counter (saturating).
Decrements the counter ( saturating ) .