Searched refs:_start_time (Results 1 – 1 of 1) sorted by relevance
47 timer() { _start_time = std::clock(); } // postcondition: elapsed()==0 in timer()51 void restart() { _start_time = std::clock(); } // post: elapsed()==0 in restart()53 { return double(std::clock() - _start_time) / CLOCKS_PER_SEC; } in elapsed()60 - double(_start_time)) / double(CLOCKS_PER_SEC); in elapsed_max()67 std::clock_t _start_time; member in boost::timer