1 /***************************************************************************** 2 ** 3 ** time.c NQ Werner Nickel 4 ** nickel@mathematik.tu-darmstadt.de 5 */ 6 7 #include "config.h" 8 #include "time.h" 9 10 #include <stdio.h> 11 12 int CombiCollectionTime = 0; 13 int SimpleCollectionTime = 0; 14 15 int IntMatTime = 0; 16 PrintCollectionTimes(void)17void PrintCollectionTimes(void) { 18 19 if (CombiCollectionTime > 0) 20 printf("## Total time spent in combinatorial collection: %d\n", 21 CombiCollectionTime); 22 23 if (SimpleCollectionTime > 0) 24 printf("## Total time spent in simple collection: %d\n", 25 SimpleCollectionTime); 26 27 printf("## Total time spent on integer matrices: %d\n", IntMatTime); 28 29 } 30