klee::WriteStatsTimer Class Reference

Inheritance diagram for klee::WriteStatsTimer:

[legend]

Collaboration diagram for klee::WriteStatsTimer:

[legend]

List of all members.

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

---

Detailed Description

Definition at line 111 of file StatsTracker.cpp.

---

Constructor & Destructor Documentation

klee::WriteStatsTimer::WriteStatsTimer

(

StatsTracker *

_statsTracker

)

[inline]

Definition at line 115 of file StatsTracker.cpp.

klee::WriteStatsTimer::~WriteStatsTimer

(

)

[inline]

Definition at line 116 of file StatsTracker.cpp.

---

Member Function Documentation

void klee::WriteStatsTimer::run

(

)

[inline, virtual]

The event callback.

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

Definition at line 118 of file StatsTracker.cpp.

---

Member Data Documentation

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

Definition at line 112 of file StatsTracker.cpp.

---

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

• lib/Core/StatsTracker.cpp