From 1f98f6c5577a20522659bf36d9c24cc9646409e6 Mon Sep 17 00:00:00 2001 From: TimQu Date: Sun, 1 Mar 2020 11:39:42 +0100 Subject: [PATCH] Reverted 'optimization' for Prob1Max (since that didn't work out). --- src/storm/utility/graph.cpp | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/storm/utility/graph.cpp b/src/storm/utility/graph.cpp index 96cda7e89..413e93302 100644 --- a/src/storm/utility/graph.cpp +++ b/src/storm/utility/graph.cpp @@ -738,11 +738,7 @@ namespace storm { result.first = performProb0A(backwardTransitions, phiStates, psiStates); - // result.second = performProb1E(transitionMatrix, nondeterministicChoiceIndices, backwardTransitions, phiStates, psiStates); - // Instead of calling performProb1E, we call the (more easier) performProb0E on the Prob0A states. - // This is valid because, when maximizing probabilities, states that have prob1 cannot reach a state with prob 0 (and will eventually reach a psiState). - // States that do not have prob1 will eventually reach a state with prob0. - result.second = performProb0E(transitionMatrix, nondeterministicChoiceIndices, backwardTransitions, ~psiStates, result.first); + result.second = performProb1E(transitionMatrix, nondeterministicChoiceIndices, backwardTransitions, phiStates, psiStates); return result; }