equal
deleted
inserted
replaced
312 ///\name Control the state of the timer |
312 ///\name Control the state of the timer |
313 ///Basically a Timer can be either running or stopped, |
313 ///Basically a Timer can be either running or stopped, |
314 ///but it provides a bit finer control on the execution. |
314 ///but it provides a bit finer control on the execution. |
315 ///The \ref Timer also counts the number of \ref start() |
315 ///The \ref Timer also counts the number of \ref start() |
316 ///executions, and is stops only after the same amount (or more) |
316 ///executions, and is stops only after the same amount (or more) |
317 ///\ref stop() "stop()"s. This can be useful e.g. to compute the running time |
317 ///\ref stop() "stop()"s. This can be useful e.g. to compute |
|
318 ///the running time |
318 ///of recursive functions. |
319 ///of recursive functions. |
319 /// |
320 /// |
320 |
321 |
321 ///@{ |
322 ///@{ |
322 |
323 |