restrict format changes to Duration.

aibasel · Dec 3, 2023 · 99d7228 · 99d7228
1 parent 3febdde
commit 99d7228
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/search/utils/timer.cc b/src/search/utils/timer.cc
@@ -16,7 +16,10 @@ using namespace std;
 
 namespace utils {
 ostream &operator<<(ostream &os, const Duration &time) {
+    ios_base::fmtflags original_flags = os.flags();
+    os << fixed << setprecision(time.output_precision);
     os << static_cast<double>(time) << "s";
+    os.flags(original_flags);
     return os;
 }
 
@@ -111,7 +114,7 @@ Duration Timer::reset() {
 }
 
 ostream &operator<<(ostream &os, const Timer &timer) {
-    os << fixed << setprecision(6) << timer();
+    os << timer();
     return os;
 }
 

diff --git a/src/search/utils/timer.h b/src/search/utils/timer.h
@@ -9,6 +9,7 @@ namespace utils {
 class Duration {
     double seconds;
 public:
+    static const int output_precision = 6;
     explicit Duration(double seconds) : seconds(seconds) {}
     operator double() const {
         return seconds;