8 #ifndef __PERFORMANCES_H__ 9 #define __PERFORMANCES_H__ 84 gettimeofday(&
tim, NULL);
85 return tim.tv_sec+(
tim.tv_usec/1000000.0);
130 void writeInStream(
const std::string& headerName, std::ostream& outstream,
bool addCommaAtEnd) {
131 outstream <<
"\"" <<headerName <<
"\": [";
133 std::list< double >::const_iterator it_1 = --
_record.end();
134 for (std::list< double >::const_iterator it =
_record.begin(); it !=
_record.end(); ++it)
140 if (addCommaAtEnd ==
true)