equal
deleted
inserted
replaced
178 } |
178 } |
179 }; |
179 }; |
180 |
180 |
181 ///Prints the time counters |
181 ///Prints the time counters |
182 |
182 |
183 ///Prints the time counters in the folloing form: |
183 ///Prints the time counters in the following form: |
184 /// |
184 /// |
185 /// <tt>u: XX.XXs s: XX.XXs cu: XX.XXs cs: XX.XXs real: XX.XXs</tt> |
185 /// <tt>u: XX.XXs s: XX.XXs cu: XX.XXs cs: XX.XXs real: XX.XXs</tt> |
186 /// |
186 /// |
187 /// where the values are the |
187 /// where the values are the |
188 /// \li \c u: user cpu time, |
188 /// \li \c u: user cpu time, |