All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::Executor::Timer Class Referenceabstract

#include <Executor.h>

Inheritance diagram for klee::Executor::Timer:

Public Member Functions

 Timer ()
virtual ~Timer ()
virtual void run ()=0
 The event callback. More...

Detailed Description

Definition at line 89 of file Executor.h.

Constructor & Destructor Documentation

Executor::Timer::Timer ( )

Definition at line 103 of file ExecutorTimers.cpp.

Executor::Timer::~Timer ( )

Definition at line 105 of file ExecutorTimers.cpp.

Member Function Documentation

virtual void klee::Executor::Timer::run ( )
pure virtual

The event callback.

Implemented in klee::UpdateReachableTimer, klee::WriteStatsTimer, klee::WriteIStatsTimer, and HaltTimer.

Referenced by klee::Executor::processTimers().

Here is the caller graph for this function:

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