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)17 void 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