#include <string>
#include <vector>
+#include <iosfwd>
class TimerGroup;
/// print - Print the current timer to standard error, and reset the "Started"
/// flag.
- void print(const Timer &Total);
+ void print(const Timer &Total, std::ostream &OS);
private:
friend class TimerGroup;
#include <string>
#include <vector>
+#include <iosfwd>
class TimerGroup;
/// print - Print the current timer to standard error, and reset the "Started"
/// flag.
- void print(const Timer &Total);
+ void print(const Timer &Total, std::ostream &OS);
private:
friend class TimerGroup;