HaltTimer Class Reference

Inheritance diagram for HaltTimer:

[legend]

Collaboration diagram for HaltTimer:

[legend]

List of all members.

Public Member Functions
	HaltTimer (Executor *_executor)
	~HaltTimer ()
void	run ()
	The event callback.
Private Attributes
Executor *	executor

---

Detailed Description

Definition at line 42 of file ExecutorTimers.cpp.

---

Constructor & Destructor Documentation

HaltTimer::HaltTimer

(

Executor *

_executor

)

[inline]

Definition at line 46 of file ExecutorTimers.cpp.

HaltTimer::~HaltTimer

(

)

[inline]

Definition at line 47 of file ExecutorTimers.cpp.

---

Member Function Documentation

void HaltTimer::run

(

)

[inline, virtual]

The event callback.

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

Definition at line 49 of file ExecutorTimers.cpp.

References executor, and klee::Executor::setHaltExecution().

Here is the call graph for this function:

---

Member Data Documentation

Executor* HaltTimer::executor [private]

Definition at line 43 of file ExecutorTimers.cpp.

Referenced by run().

---

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

• lib/Core/ExecutorTimers.cpp