klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ExecutorTimerInfo.h
Go to the documentation of this file.
1 //===-- Executor.h ----------------------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // Class to wrap information for a timer.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef EXECUTORTIMERINFO_H_
15 #define EXECUTORTIMERINFO_H_
16 
18 
19 namespace klee {
20 
22 public:
24 
26  double rate;
28  double nextFireTime;
29 
30 public:
31  TimerInfo(Timer *_timer, double _rate)
32  : timer(_timer),
33  rate(_rate),
34  nextFireTime(util::getWallTime() + rate) {}
35  ~TimerInfo() { delete timer; }
36 };
37 
38 
39 }
40 
41 
42 #endif /* EXECUTORTIMERINFO_H_ */
double rate
Approximate delay per timer firing.
double getWallTime()
Definition: Time.cpp:24
double nextFireTime
Wall time for next firing.
TimerInfo(Timer *_timer, double _rate)