|
cprover
|
Time Stopping. More...
Go to the source code of this file.
Classes | |
| class | timert |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const timert &timer) |
Time Stopping.
Definition in file timer.h.
| std::ostream& operator<< | ( | std::ostream & | out, |
| const timert & | timer | ||
| ) |
Definition at line 71 of file timer.h.
References timert::total_time().