From c2f21e007e962a4c35fc2d3157f614f6f489fc9b Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 3 May 2017 16:16:24 +0200
Subject: [PATCH] fix that correctly sets the lower and upper bounds for
 multi-objective timed reachability

---
 .../pcaa/SparseMaPcaaWeightVectorChecker.cpp             | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/src/storm/modelchecker/multiobjective/pcaa/SparseMaPcaaWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/pcaa/SparseMaPcaaWeightVectorChecker.cpp
index 0a3beeabe..47f90851e 100644
--- a/src/storm/modelchecker/multiobjective/pcaa/SparseMaPcaaWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa/SparseMaPcaaWeightVectorChecker.cpp
@@ -267,13 +267,8 @@ namespace storm {
                         digitizationError -= std::exp(-maxRate * timeBound) * storm::utility::pow(storm::utility::one<VT>() + maxRate * digitizationConstant, digitizedBound);
                         errorAwayFromZero += digitizationError;
                     }
-                    if (storm::solver::maximize(obj.optimizationDirection)) {
-                        this->offsetsToLowerBound[objIndex] = -errorTowardsZero;
-                        this->offsetsToUpperBound[objIndex] = errorAwayFromZero;
-                    } else {
-                        this->offsetsToLowerBound[objIndex] = -errorAwayFromZero;
-                        this->offsetsToUpperBound[objIndex] = errorTowardsZero;
-                    }
+                    this->offsetsToLowerBound[objIndex] = -errorTowardsZero;
+                    this->offsetsToUpperBound[objIndex] = errorAwayFromZero;
                 }
             }