UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for Timer, including all inherited members.
getElapsedTime() const | Timer | |
getStartTime() const | Timer | |
getTimeout() const | Timer | |
isRunning() const | Timer | |
isTimeoutSet() const | Timer | |
outOfTime() const | Timer | |
running | Timer | private |
setTimeout(unsigned int timeout) | Timer | |
start() | Timer | |
startTime | Timer | private |
timeout | Timer | private |
Timer(unsigned int timeout=0) | Timer | |
~Timer() | Timer | virtual |