+++ /dev/null
-#include <iostream>
-#include <cassert>
-#ifndef WIN32
-#include <sys/time.h>
-#endif
-#include "timing.hh"
-
-using namespace std;
-
-
-#if 0
-double mysecond()
-{
- struct timeval tp;
- struct timezone tzp;
- int i;
-
- i = gettimeofday(&tp,&tzp);
- return ( (double) tp.tv_sec + (double) tp.tv_usec * 1.e-6 );
-}
-
-int lIndex=0;
-double lStartTime[1024];
-double lEndTime[1024];
-
-static void tab (int n, ostream& fout)
-{
- fout << '\n';
- while (n--) fout << '\t';
-}
-
-void startTiming (const char* msg)
-{
- assert(lIndex < 1023);
- tab(lIndex, cerr); cerr << "start " << msg << endl;
- lStartTime[lIndex++] = mysecond();
-}
-
-void endTiming (const char* msg)
-{
- assert(lIndex>0);
- lEndTime[--lIndex] = mysecond();
- tab(lIndex, cerr); cerr << "end " << msg << " (duration : " << lEndTime[lIndex] - lStartTime[lIndex] << ")" << endl;
-}
-
-#else
-
-void startTiming (const char* msg)
-{}
-
-void endTiming (const char* msg)
-{}
-
-#endif
-