equal
  deleted
  inserted
  replaced
  
    
    
   210     operator int() {return count;} | 
   210     operator int() {return count;} | 
   211   };  | 
   211   };  | 
   212   | 
   212   | 
   213   /// 'Do nothing' version of Counter.  | 
   213   /// 'Do nothing' version of Counter.  | 
   214   | 
   214   | 
   215   /// This class can be used in the same way as \ref Counter however it  | 
   215   /// This class can be used in the same way as \ref Counter, but it  | 
   216   /// does not count at all and does not print report on destruction.  | 
   216   /// does not count at all and does not print report on destruction.  | 
   217   ///  | 
   217   ///  | 
   218   /// Replacing a \ref Counter with a \ref NoCounter makes it possible  | 
   218   /// Replacing a \ref Counter with a \ref NoCounter makes it possible  | 
   219   /// to turn off all counting and reporting (SubCounters should also  | 
   219   /// to turn off all counting and reporting (SubCounters should also  | 
   220   /// be replaced with NoSubCounters), so it does not affect the  | 
   220   /// be replaced with NoSubCounters), so it does not affect the  |