klee::WriteIStatsTimer Class Reference

Inheritance diagram for klee::WriteIStatsTimer:

[legend]

Collaboration diagram for klee::WriteIStatsTimer:

[legend]

List of all members.

Public Member Functions
	WriteIStatsTimer (StatsTracker *_statsTracker)
	~WriteIStatsTimer ()
void	run ()
	The event callback.
Private Attributes
StatsTracker *	statsTracker

---

Detailed Description

Definition at line 101 of file StatsTracker.cpp.

---

Constructor & Destructor Documentation

klee::WriteIStatsTimer::WriteIStatsTimer

(

StatsTracker *

_statsTracker

)

[inline]

Definition at line 105 of file StatsTracker.cpp.

klee::WriteIStatsTimer::~WriteIStatsTimer

(

)

[inline]

Definition at line 106 of file StatsTracker.cpp.

---

Member Function Documentation

void klee::WriteIStatsTimer::run

(

)

[inline, virtual]

The event callback.

Implements klee::Executor::Executor::Timer.

Definition at line 108 of file StatsTracker.cpp.

---

Member Data Documentation

StatsTracker* klee::WriteIStatsTimer::statsTracker [private]

Definition at line 102 of file StatsTracker.cpp.

---

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

• lib/Core/StatsTracker.cpp