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
19
timert::~timert
()
20
{
21
}
22
23
void
timert::start
()
24
{
25
assert(!
started
);
26
started
=
true
;
27
28
_start_time
=
current_time
();
29
nr_starts
++;
30
}
31
32
void
timert::stop
()
33
{
34
assert(
started
);
35
started
=
false
;
36
37
_latest_time
=
current_time
() -
_start_time
;
38
_total_time
+=
_latest_time
;
39
}
40
41
void
timert::clear
()
42
{
43
_total_time
.
clear
();
44
_start_time
.
clear
();
45
}
timer.h
Time Stopping.
timert::_latest_time
time_periodt _latest_time
Definition:
timer.h:25
timert::start
virtual void start()
Definition:
timer.cpp:23
timert::_start_time
absolute_timet _start_time
Definition:
timer.h:24
timert::~timert
virtual ~timert()
Definition:
timer.cpp:19
timert::started
bool started
Definition:
timer.h:27
current_time
absolute_timet current_time()
Definition:
time_stopping.cpp:47
timert::stop
virtual void stop()
Definition:
timer.cpp:32
fine_timet::clear
void clear()
Definition:
time_stopping.h:36
timert::nr_starts
long nr_starts
Definition:
timer.h:26
timert::_total_time
time_periodt _total_time
Definition:
timer.h:23
timert::clear
virtual void clear()
Definition:
timer.cpp:41
util
timer.cpp
Generated by
1.8.14