src/benchmark/bench_tools.h
changeset 927 dec4eef5a65c
parent 750 2713723d2210
child 979 b5fb023cdb7b
equal deleted inserted replaced
3:582386892327 4:489bf9f1852f
     1 // -*- mode:C++ -*-
     1 // -*- mode:C++ -*-
     2 #ifndef HUGO_BENCH_TEST_H
     2 #ifndef LEMON_BENCH_TEST_H
     3 #define HUGO_BENCH_TEST_H
     3 #define LEMON_BENCH_TEST_H
     4 
     4 
     5 #include<vector>
     5 #include<vector>
     6 #include<iostream>
     6 #include<iostream>
     7 
     7 
     8 #include<hugo/time_measure.h>
     8 #include<lemon/time_measure.h>
     9 
     9 
    10 ///An experimental typedef factory
    10 ///An experimental typedef factory
    11 #define GRAPH_TYPEDEF_FACTORY(Graph) \
    11 #define GRAPH_TYPEDEF_FACTORY(Graph) \
    12    typedef typename Graph::   Node      Node;\
    12    typedef typename Graph::   Node      Node;\
    13    typedef typename Graph::   NodeIt    NodeIt;\
    13    typedef typename Graph::   NodeIt    NodeIt;\
    72 	return n;
    72 	return n;
    73       }
    73       }
    74     }
    74     }
    75 };
    75 };
    76 
    76 
    77 inline void PrintTime(char *ID,hugo::Timer &T) 
    77 inline void PrintTime(char *ID,lemon::Timer &T) 
    78 {
    78 {
    79   hugo::TimeStamp S(T);
    79   lemon::TimeStamp S(T);
    80   std::cout << ID << ' ' << S.getUserTime() << ' '
    80   std::cout << ID << ' ' << S.getUserTime() << ' '
    81 	    << S.getSystemTime() << ' ' << S.getRealTime() << std::endl;
    81 	    << S.getSystemTime() << ' ' << S.getRealTime() << std::endl;
    82 }
    82 }
    83 
    83 
    84 
    84