00001 #ifndef TIMER_H 00002 #define TIMER_H 00003 00006 void timer_init(int, const char*[]); 00007 void timer_destroy(); 00008 void timer_start(int); 00009 void timer_stop(int); 00010 void timer_reset(int); 00011 double timer_elapsed_time(int); 00012 double timer_average_time(int); 00013 void timer_print_summary(int); 00014 00015 #endif