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

Public Member Functions

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

Private Attributes

Executorexecutor
 

Detailed Description

Definition at line 48 of file ExecutorTimers.cpp.

Constructor & Destructor Documentation

HaltTimer::HaltTimer ( Executor _executor)
inline

Definition at line 52 of file ExecutorTimers.cpp.

HaltTimer::~HaltTimer ( )
inline

Definition at line 53 of file ExecutorTimers.cpp.

Member Function Documentation

void HaltTimer::run ( )
inlinevirtual

The event callback.

Implements klee::Executor::Timer.

Definition at line 55 of file ExecutorTimers.cpp.

Member Data Documentation

Executor* HaltTimer::executor
private

Definition at line 49 of file ExecutorTimers.cpp.


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