klee::UpdateReachableTimer Class Reference

Inheritance diagram for klee::UpdateReachableTimer:

[legend]

Collaboration diagram for klee::UpdateReachableTimer:

[legend]

List of all members.

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

---

Detailed Description

Definition at line 121 of file StatsTracker.cpp.

---

Constructor & Destructor Documentation

klee::UpdateReachableTimer::UpdateReachableTimer

(

StatsTracker *

_statsTracker

)

[inline]

Definition at line 125 of file StatsTracker.cpp.

---

Member Function Documentation

void klee::UpdateReachableTimer::run

(

)

[inline, virtual]

The event callback.

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

Definition at line 127 of file StatsTracker.cpp.

---

Member Data Documentation

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

Definition at line 122 of file StatsTracker.cpp.

---

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

• lib/Core/StatsTracker.cpp