From cd5b805a761d729da12bad214a90522c3b4e6dbe Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 27 Jun 2018 15:44:20 +0200 Subject: [PATCH] Under- and overapproximation for Pareto curve check result are now optional --- .../modelchecker/results/ParetoCurveCheckResult.cpp | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp b/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp index 39ae4e265..1b8d22bcf 100644 --- a/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp +++ b/src/storm/modelchecker/results/ParetoCurveCheckResult.cpp @@ -44,9 +44,13 @@ namespace storm { template std::ostream& ParetoCurveCheckResult::writeToStream(std::ostream& out) const { out << std::endl; - out << "Underapproximation of achievable values: " << underApproximation->toString() << std::endl; - out << "Overapproximation of achievable values: " << overApproximation->toString() << std::endl; - out << points.size() << " pareto optimal points found (Note that these points are safe, i.e., contained in the underapproximation, but there is no guarantee for optimality):" << std::endl; + if (underApproximation) { + out << "Underapproximation of achievable values: " << underApproximation->toString() << std::endl; + } + if (overApproximation) { + out << "Overapproximation of achievable values: " << overApproximation->toString() << std::endl; + } + out << points.size() << " pareto optimal points found:" << std::endl; for(auto const& p : points) { out << " ("; for(auto it = p.begin(); it != p.end(); ++it){