Bugfix in optimal strategy check for reward properties (showing up as bug in policy iteration).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7669 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago · 440b539364
1 changed files with 1 additions and 1 deletions
--- a/prism/src/explicit/MDPSparse.java
+++ b/prism/src/explicit/MDPSparse.java
@ -1066,7 +1066,7 @@ public class MDPSparse extends MDPExplicit
 		h1 = rowStarts[s + 1];
 		for (j = l1; j < h1; j++) {
 			// Compute sum for this distribution
-			d = mdpRewards.getTransitionReward(s, j);
+			d = mdpRewards.getTransitionReward(s, j - l1);
 			l2 = choiceStarts[j];
 			h2 = choiceStarts[j + 1];
 			for (k = l2; k < h2; k++) {