From abdb2f27c8caea9ad0617d9c3e2d0fdc40ff4691 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 23 Apr 2013 11:47:22 +0000 Subject: [PATCH] Bugfix: NPE in explicit reward structure creation (spotted by Marcus Daum, previously fixed in prism-games by Aistis). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6704 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/rewards/MDPRewardsSimple.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/rewards/MDPRewardsSimple.java b/prism/src/explicit/rewards/MDPRewardsSimple.java index 0d5501da..afcdda24 100644 --- a/prism/src/explicit/rewards/MDPRewardsSimple.java +++ b/prism/src/explicit/rewards/MDPRewardsSimple.java @@ -76,7 +76,7 @@ public class MDPRewardsSimple implements MDPRewards */ public void addToStateReward(int s, double r) { - setStateReward(s, stateRewards.get(s) + r); + setStateReward(s, getStateReward(s) + r); } /**