klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::TimerStatIncrementer Class Reference

#include <TimerStatIncrementer.h>

Collaboration diagram for klee::TimerStatIncrementer:

Public Member Functions

 TimerStatIncrementer (Statistic &_statistic)
 
 ~TimerStatIncrementer ()
 
uint64_t check ()
 

Private Attributes

WallTimer timer
 
Statisticstatistic
 

Detailed Description

Definition at line 17 of file TimerStatIncrementer.h.

Constructor & Destructor Documentation

klee::TimerStatIncrementer::TimerStatIncrementer ( Statistic _statistic)
inline

Definition at line 23 of file TimerStatIncrementer.h.

klee::TimerStatIncrementer::~TimerStatIncrementer ( )
inline

Definition at line 24 of file TimerStatIncrementer.h.

References klee::WallTimer::check(), statistic, and timer.

Here is the call graph for this function:

Member Function Documentation

uint64_t klee::TimerStatIncrementer::check ( )
inline

Definition at line 28 of file TimerStatIncrementer.h.

References klee::WallTimer::check(), and timer.

Referenced by klee::AddressSpace::resolve().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

Statistic& klee::TimerStatIncrementer::statistic
private

Definition at line 20 of file TimerStatIncrementer.h.

Referenced by ~TimerStatIncrementer().

WallTimer klee::TimerStatIncrementer::timer
private

Definition at line 19 of file TimerStatIncrementer.h.

Referenced by check(), and ~TimerStatIncrementer().


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