| _is_paused | stop_watch |  [protected] | 
| _pause_time | stop_watch |  [protected] | 
| _start_time | stop_watch |  [protected] | 
| cur_time() const | stop_watch |  [inline] | 
| elapsed_time() const | stop_watch |  [inline] | 
| inc_elapsed_time(double d=0) | stop_watch |  [inline] | 
| is_paused() const | stop_watch |  [inline] | 
| pause() | stop_watch |  [inline] | 
| pause_time() const | stop_watch |  [inline] | 
| print_time(const char *msg="elapsed time") | stop_watch |  [inline] | 
| reset_hold() | stop_watch |  [inline] | 
| resume() | stop_watch |  [inline] | 
| set(double start=sys_time()) | stop_watch |  [inline] | 
| set_elapsed_time(double t=0) | stop_watch |  [inline] | 
| start_time() const | stop_watch |  [inline] | 
| stop_watch() | stop_watch |  [inline] | 
| sys_time() | stop_watch |  [inline, static] | 
 1.4.4