Timer More...
#include <timer.hpp>
Public Member Functions | |
void | start (void) |
Start timer. | |
double | stop (void) |
Get time since start of timer. |
Timer
This class represents a best-effort at measuring wall-clock time in milliseconds.
void Gecode::Support::Timer::start | ( | void | ) | [inline] |
double Gecode::Support::Timer::stop | ( | void | ) | [inline] |