00001 /* 00002 Copyright (C) 2008- The University of Notre Dame 00003 This software is distributed under the GNU General Public License. 00004 See the file COPYING for details. 00005 */ 00006 00007 #ifndef TIMER_H 00008 #define TIMER_H 00009 00012 void timer_init(int, const char *[]); 00013 void timer_destroy(); 00014 void timer_start(int); 00015 void timer_stop(int); 00016 void timer_reset(int); 00017 double timer_elapsed_time(int); 00018 double timer_average_time(int); 00019 void timer_print_summary(int); 00020 00021 #endif