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
Constructor & Destructor Documentation
◆ WallTimer()
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
|
private |
The documentation for this class was generated from the following files:
