From d098c2d27c5bee68e735235ee7cb2ceead51f30b Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Wed, 8 Apr 2020 17:04:32 +0200 Subject: [PATCH] graph::computeSchedulerProb1E: Only set choices if they are not defined already. --- src/storm/utility/graph.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/storm/utility/graph.cpp b/src/storm/utility/graph.cpp index 413e93302..4fd5487c5 100644 --- a/src/storm/utility/graph.cpp +++ b/src/storm/utility/graph.cpp @@ -552,7 +552,9 @@ namespace storm { // set an arbitrary (valid) choice for the psi states. for (auto const& psiState : psiStates) { for (uint_fast64_t memState = 0; memState < scheduler.getNumberOfMemoryStates(); ++memState) { - scheduler.setChoice(0, psiState, memState); + if (!scheduler.getChoice(psiState, memState).isDefined()) { + scheduler.setChoice(0, psiState, memState); + } } }