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

Public Member Functions

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

Private Attributes


Detailed Description

Definition at line 123 of file StatsTracker.cpp.

Constructor & Destructor Documentation

klee::WriteStatsTimer::WriteStatsTimer ( StatsTracker _statsTracker)

Definition at line 127 of file StatsTracker.cpp.

klee::WriteStatsTimer::~WriteStatsTimer ( )

Definition at line 128 of file StatsTracker.cpp.

Member Function Documentation

void klee::WriteStatsTimer::run ( )

The event callback.

Implements klee::Executor::Timer.

Definition at line 130 of file StatsTracker.cpp.

Member Data Documentation

StatsTracker* klee::WriteStatsTimer::statsTracker

Definition at line 124 of file StatsTracker.cpp.

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