From e92966c3e4de7161f1fee2232bb6661ab083045b Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 6 Jun 2019 21:13:57 +0200
Subject: [PATCH] ParetoCourveCheckResult: Print approx. value in case of exact
 checking.

---
 .../results/ParetoCurveCheckResult.cpp        | 20 +++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)

diff --git a/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp b/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp
index ffc34528a..c1cb62f32 100644
--- a/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp
+++ b/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp
@@ -65,13 +65,25 @@ namespace storm {
             out << points.size() << " Pareto optimal points found:" << std::endl;
             for(auto const& p : points) {
                 out << "   (";
-                for(auto it = p.begin(); it != p.end(); ++it){
-                    if(it != p.begin()){
+                for (auto it = p.begin(); it != p.end(); ++it){
+                    if (it != p.begin()){
                         out << ", ";
                     }
-                    out << std::setw(10) << *it;
+                    out << std::setw(storm::NumberTraits<ValueType>::IsExact ? 20 : 11) << *it;
                 }
-                out << " )" << std::endl;
+                out << " )";
+                if (storm::NumberTraits<ValueType>::IsExact) {
+                    out << " approx. ";
+                    out << "   (";
+                    for (auto it = p.begin(); it != p.end(); ++it) {
+                        if(it != p.begin()){
+                            out << ", ";
+                        }
+                        out << std::setw(11) << storm::utility::convertNumber<double>(*it);
+                    }
+                    out << " )";
+                }
+                out << std::endl;
             }
             return out;
         }