equal
deleted
inserted
replaced
341 } |
341 } |
342 } |
342 } |
343 |
343 |
344 ///Halt (i.e stop immediately) the time counters |
344 ///Halt (i.e stop immediately) the time counters |
345 |
345 |
346 ///This function stops immediately the time counters, i.e. <tt>t.stop()</tt> |
346 ///This function stops immediately the time counters, i.e. <tt>t.halt()</tt> |
347 ///is a faster |
347 ///is a faster |
348 ///equivalent of the following. |
348 ///equivalent of the following. |
349 ///\code |
349 ///\code |
350 /// while(t.running()) t.stop() |
350 /// while(t.running()) t.stop() |
351 ///\endcode |
351 ///\endcode |