From cd1b3dcfedd5b0fab37fefb12ff1fdedeea7026f Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Tue, 18 Oct 2011 11:19:50 +0000
Subject: [PATCH] Fixed a problem where transition rewards were not being set
 for unnamed actions

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4050 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/rewards/ConstructRewards.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/rewards/ConstructRewards.java b/prism/src/explicit/rewards/ConstructRewards.java
index baccfa63..4747e340 100644
--- a/prism/src/explicit/rewards/ConstructRewards.java
+++ b/prism/src/explicit/rewards/ConstructRewards.java
@@ -147,7 +147,7 @@ public class ConstructRewards
 							numChoices = mdp.getNumChoices(j);
 							for (k = 0; k < numChoices; k++) {
 								mdpAction = mdp.getAction(j, k);
-								if (mdpAction == null ? (action == null) : mdpAction.equals(action)) {
+								if (mdpAction == null ? (action.isEmpty()) : mdpAction.equals(action)) {
 									rewSimple.setTransitionReward(j, k, rewStr.getReward(i).evaluateDouble(constantValues, statesList.get(j)));
 								}
 							}