Follow general output precision in DFT approximation (#563)

moves-rwth · Jun 3, 2024 · a1a51da · a1a51da
1 parent 4b02abf
commit a1a51da
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 14 deletions.
diff --git a/src/storm-dft/modelchecker/DFTModelChecker.cpp b/src/storm-dft/modelchecker/DFTModelChecker.cpp
@@ -371,13 +371,11 @@ typename DFTModelChecker<ValueType>::dft_results DFTModelChecker<ValueType>::che
                              "Under-approximation " << approxResult.first << " is greater than over-approximation " << approxResult.second);
             totalTimer.stop();
             if (printInfo && dftIOSettings.isShowDftStatisticsSet()) {
-                std::cout << "Result after iteration " << (iteration + 1) << ": (" << std::setprecision(10) << approxResult.first << ", " << approxResult.second
-                          << ")\n";
+                std::cout << "Result after iteration " << (iteration + 1) << ": (" << approxResult.first << ", " << approxResult.second << ")\n";
                 printTimings();
                 std::cout << '\n';
             } else {
-                STORM_LOG_DEBUG("Result after iteration " << (iteration + 1) << ": (" << std::setprecision(10) << approxResult.first << ", "
-                                                          << approxResult.second << ")");
+                STORM_LOG_DEBUG("Result after iteration " << (iteration + 1) << ": (" << approxResult.first << ", " << approxResult.second << ")");
             }
 
             totalTimer.start();

diff --git a/src/storm/utility/initialize.cpp b/src/storm/utility/initialize.cpp
@@ -21,6 +21,14 @@ void initializeLogger() {
     sink->setFormatter(fptr);
 }
 
+/*!
+ * Set number of digits for printing output.
+ * @param digits Number of digits to print.
+ */
+void setOutputDigits(int digits) {
+    std::cout.precision(digits);
+}
+
 void setUp() {
     initializeLogger();
     setOutputDigits(10);
@@ -30,10 +38,6 @@ void cleanUp() {
     // Intentionally left empty.
 }
 
-void setOutputDigits(int digits) {
-    std::cout.precision(digits);
-}
-
 void setOutputDigitsFromGeneralPrecision(double precision) {
     if (precision >= 1 || precision < 0) {
         setOutputDigits(10);

diff --git a/src/storm/utility/initialize.h b/src/storm/utility/initialize.h
@@ -19,12 +19,6 @@ void setUp();
  */
 void cleanUp();
 
-/*!
- * Set number of digits for printing output.
- * @param digits Number of digits to print.
- */
-void setOutputDigits(int digits);
-
 /*!
  * Set number of digits for printing output from given precision requirement.
  * For a precision of 1e-n we output at least n digits.