From e8e1a403b910bd517f618afe3fd72f079a94b7b9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 4 Aug 2011 22:05:42 +0000 Subject: [PATCH] Bug fix in MDPRewardsSimple. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3371 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/rewards/MDPRewardsSimple.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism/src/explicit/rewards/MDPRewardsSimple.java b/prism/src/explicit/rewards/MDPRewardsSimple.java index fdaeb7eb..fe7d85f3 100644 --- a/prism/src/explicit/rewards/MDPRewardsSimple.java +++ b/prism/src/explicit/rewards/MDPRewardsSimple.java @@ -106,6 +106,8 @@ public class MDPRewardsSimple implements MDPRewards @Override public double getStateReward(int s) { + if (stateRewards == null) + return 0.0; return stateRewards.get(s); }