| ... | ... |
@@ -193,25 +193,25 @@ |
| 193 | 193 |
///Gives back the user time of the process' children |
| 194 | 194 |
|
| 195 | 195 |
///\note On <tt>WIN32</tt> platform this value is not calculated. |
| 196 | 196 |
/// |
| 197 | 197 |
double cSystemTime() const |
| 198 | 198 |
{
|
| 199 | 199 |
return cstime; |
| 200 | 200 |
} |
| 201 | 201 |
///Gives back the real time |
| 202 | 202 |
double realTime() const {return rtime;}
|
| 203 | 203 |
}; |
| 204 | 204 |
|
| 205 |
TimeStamp operator*(double b,const TimeStamp &t) |
|
| 205 |
inline TimeStamp operator*(double b,const TimeStamp &t) |
|
| 206 | 206 |
{
|
| 207 | 207 |
return t*b; |
| 208 | 208 |
} |
| 209 | 209 |
|
| 210 | 210 |
///Prints the time counters |
| 211 | 211 |
|
| 212 | 212 |
///Prints the time counters in the following form: |
| 213 | 213 |
/// |
| 214 | 214 |
/// <tt>u: XX.XXs s: XX.XXs cu: XX.XXs cs: XX.XXs real: XX.XXs</tt> |
| 215 | 215 |
/// |
| 216 | 216 |
/// where the values are the |
| 217 | 217 |
/// \li \c u: user cpu time, |
0 comments (0 inline)