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

#include <Timer.h>

Public Member Functions

 WallTimer ()
 
uint64_t check ()
 check - Return the delta since the timer was created, in microseconds. More...
 

Private Attributes

uint64_t startMicroseconds
 

Detailed Description

Definition at line 16 of file Timer.h.

Constructor & Destructor Documentation

WallTimer::WallTimer ( )

Definition at line 18 of file Timer.cpp.

Member Function Documentation

uint64_t WallTimer::check ( )

check - Return the delta since the timer was created, in microseconds.

Definition at line 24 of file Timer.cpp.

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

Here is the caller graph for this function:

Member Data Documentation

uint64_t klee::WallTimer::startMicroseconds
private

Definition at line 17 of file Timer.h.


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