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() + 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; } }