From 5b35927ecb40540178fa63fc70b7b25d2d605866 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 19 Jul 2017 20:20:28 +0200 Subject: [PATCH] fix for some multi-objective queries --- .../multiobjective/pcaa/SparsePcaaWeightVectorChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaWeightVectorChecker.cpp index 452254107..7333f6db6 100644 --- a/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaWeightVectorChecker.cpp +++ b/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaWeightVectorChecker.cpp @@ -270,8 +270,8 @@ namespace storm { // Set the result for this objective accordingly storm::utility::vector::setVectorValues(objectiveResults[objIndex], maybeStates, x); - storm::utility::vector::setVectorValues(objectiveResults[objIndex], ~maybeStates, storm::utility::zero()); } + storm::utility::vector::setVectorValues(objectiveResults[objIndex], ~maybeStates, storm::utility::zero()); // Update the estimate for the next objectives. if (!storm::utility::isZero(weightVector[objIndex])) {