klee::Executor::Executor::TimerInfo Class Reference
Collaboration diagram for klee::Executor::Executor::TimerInfo:
Public Member Functions | |
| TimerInfo (Timer *_timer, double _rate) | |
| ~TimerInfo () | |
Public Attributes | |
| Timer * | timer |
| double | rate |
| Approximate delay per timer firing. | |
| double | nextFireTime |
| Wall time for next firing. | |
Detailed Description
Definition at line 101 of file ExecutorTimers.cpp.
Constructor & Destructor Documentation
| klee::Executor::Executor::TimerInfo::TimerInfo | ( | Timer * | _timer, | |
| double | _rate | |||
| ) | [inline] |
Definition at line 111 of file ExecutorTimers.cpp.
| klee::Executor::Executor::TimerInfo::~TimerInfo | ( | ) | [inline] |
Definition at line 115 of file ExecutorTimers.cpp.
Member Data Documentation
| double klee::Executor::Executor::TimerInfo::nextFireTime |
Wall time for next firing.
Definition at line 108 of file ExecutorTimers.cpp.
Referenced by klee::Executor::processTimers().
| double klee::Executor::Executor::TimerInfo::rate |
Approximate delay per timer firing.
Definition at line 106 of file ExecutorTimers.cpp.
Referenced by klee::Executor::processTimers().
| Timer* klee::Executor::Executor::TimerInfo::timer |
The documentation for this class was generated from the following file:
- lib/Core/ExecutorTimers.cpp
