| changeset 2388 | c6d537888fe5 |
| parent 1956 | a055123339d5 |
| child 2391 | 14a343be7a5a |
| 3:4c35df9e15b5 | 4:67c1b5e85abc |
|---|---|
78 return n; |
78 return n; |
79 } |
79 } |
80 } |
80 } |
81 }; |
81 }; |
82 |
82 |
83 inline void PrintTime(char *ID,lemon::Timer &T) |
83 inline void PrintTime(const char *ID, lemon::Timer &T) |
84 { |
84 { |
85 lemon::TimeStamp S(T); |
85 lemon::TimeStamp S(T); |
86 std::cout << ID << ' ' << S.userTime() << ' ' |
86 std::cout << ID << ' ' << S.userTime() << ' ' |
87 << S.systemTime() << ' ' << S.realTime() << std::endl; |
87 << S.systemTime() << ' ' << S.realTime() << std::endl; |
88 } |
88 } |