cprover
timer.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Time Stopping
4 
5 Author:
6 
7 Date:
8 
9 \*******************************************************************/
10 
13 
14 #include "timer.h"
15 
16 #include <sstream>
17 #include <cassert>
18 
20 {
21 }
22 
24 {
25  assert(!started);
26  started = true;
27 
29  nr_starts++;
30 }
31 
33 {
34  assert(started);
35  started = false;
36 
39 }
40 
42 {
45 }
Time Stopping.
time_periodt _latest_time
Definition: timer.h:25
virtual void start()
Definition: timer.cpp:23
absolute_timet _start_time
Definition: timer.h:24
virtual ~timert()
Definition: timer.cpp:19
bool started
Definition: timer.h:27
absolute_timet current_time()
virtual void stop()
Definition: timer.cpp:32
void clear()
Definition: time_stopping.h:36
long nr_starts
Definition: timer.h:26
time_periodt _total_time
Definition: timer.h:23
virtual void clear()
Definition: timer.cpp:41