equal
deleted
inserted
replaced
185 t.stamp(); |
185 t.stamp(); |
186 return t-start_time; |
186 return t-start_time; |
187 } |
187 } |
188 |
188 |
189 ///Resets the time counters |
189 ///Resets the time counters |
190 TimeStamp reset() |
190 |
191 { |
191 ///Resets the time counters |
192 TimeStamp t(start_time); |
192 /// |
|
193 void reset() |
|
194 { |
193 _reset(); |
195 _reset(); |
194 return start_time-t; |
|
195 } |
196 } |
196 |
197 |
197 |
198 |
198 ///Gives back the ellapsed user time of the process |
199 ///Gives back the ellapsed user time of the process |
199 double getUserTime() const |
200 double getUserTime() const |