2
Copyright (C) 2008- The University of Notre Dame
3
This software is distributed under the GNU General Public License.
4
See the file COPYING for details.
10
/** @file timer.h Simple timer library.*/
12
void timer_init(int, const char*[]);
14
void timer_start(int);
16
void timer_reset(int);
17
double timer_elapsed_time(int);
18
double timer_average_time(int);
19
void timer_print_summary(int);