klee::WallTimer Class Reference

#include <Timer.h>

Collaboration diagram for klee::WallTimer:

Public Member Functions

 WallTimer ()
time::Span delta () const
 Return the delta since the timer was created. More...

Private Attributes

const time::Point start

Detailed Description

A WallTimer stores its creation time.

Definition at line 25 of file Timer.h.

Constructor & Destructor Documentation

◆ WallTimer()

WallTimer::WallTimer ( )

Definition at line 20 of file Timer.cpp.

Member Function Documentation

◆ delta()

time::Span WallTimer::delta ( ) const

Return the delta since the timer was created.

Definition at line 22 of file Timer.cpp.

References klee::time::getWallTime(), and start.

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

Here is the call graph for this function:
Here is the caller graph for this function:

Member Data Documentation

◆ start

const time::Point klee::WallTimer::start

Definition at line 26 of file Timer.h.

Referenced by delta().

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