19 os << endl << setw(40) << left <<
"TOTAL TIME:" << timings.
total_time << endl;
21 for (
unsigned int i = 0;
i < timings.
times.size();
i++) {
22 os << setw(40) << left << timings.
names[
i] << timings.
times[
i];
std::vector< String > names
std::vector< Numeric > times
std::ostream & operator<<(std::ostream &os, const Timings &timings)
Print timing results.