klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::WriteIStatsTimer Class Reference
Inheritance diagram for klee::WriteIStatsTimer:
Collaboration diagram for klee::WriteIStatsTimer:

Public Member Functions

 WriteIStatsTimer (StatsTracker *_statsTracker)
 
 ~WriteIStatsTimer ()
 
void run ()
 The event callback. More...
 
- Public Member Functions inherited from klee::Executor::Timer
 Timer ()
 
virtual ~Timer ()
 

Private Attributes

StatsTrackerstatsTracker
 

Detailed Description

Definition at line 113 of file StatsTracker.cpp.

Constructor & Destructor Documentation

klee::WriteIStatsTimer::WriteIStatsTimer ( StatsTracker _statsTracker)
inline

Definition at line 117 of file StatsTracker.cpp.

klee::WriteIStatsTimer::~WriteIStatsTimer ( )
inline

Definition at line 118 of file StatsTracker.cpp.

Member Function Documentation

void klee::WriteIStatsTimer::run ( )
inlinevirtual

The event callback.

Implements klee::Executor::Timer.

Definition at line 120 of file StatsTracker.cpp.

Member Data Documentation

StatsTracker* klee::WriteIStatsTimer::statsTracker
private

Definition at line 114 of file StatsTracker.cpp.


The documentation for this class was generated from the following file: