From a21c6f724486e67d01dc9c7628457bd1a87d5751 Mon Sep 17 00:00:00 2001 From: TimQu Date: Tue, 7 Aug 2018 16:29:19 +0200 Subject: [PATCH] fixed wrong state action rewards in JaniNextStateGenerator. --- src/storm/generator/JaniNextStateGenerator.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/storm/generator/JaniNextStateGenerator.cpp b/src/storm/generator/JaniNextStateGenerator.cpp index 2df1784a1..cf7a7b43e 100644 --- a/src/storm/generator/JaniNextStateGenerator.cpp +++ b/src/storm/generator/JaniNextStateGenerator.cpp @@ -465,12 +465,12 @@ namespace storm { nextDistribution.add(newTargetState, probability); } } - - // Create the state-action reward for the newly created choice. - auto valueIt = stateActionRewards.begin(); - performTransientAssignments(edge.getAssignments().getTransientAssignments(), [&valueIt] (ValueType const& value) { *valueIt += value; ++valueIt; } ); } + // Create the state-action reward for the newly created choice. + auto valueIt = stateActionRewards.begin(); + performTransientAssignments(edge.getAssignments().getTransientAssignments(), [&valueIt] (ValueType const& value) { *valueIt += value; ++valueIt; } ); + nextDistribution.compress(); // If there is one more command to come, shift the target states one time step back.