RewardsSimple bugfix: error in (unused) constructor with map.

prismmodelchecker · Jul 18, 2024 · 1de42fa · 1de42fa
1 parent f1644a4
commit 1de42fa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prism/src/explicit/rewards/RewardsSimple.java b/prism/src/explicit/rewards/RewardsSimple.java
@@ -84,13 +84,13 @@ public <T> RewardsSimple(Rewards<T> rews, Model<?> model, Function<? super T, ?
 		numStates = model.getNumStates();
 		stateRewards = new ListSimple<>(eval.zero(), eval::isZero);
 		if (rews.hasStateRewards()) {
-			for (int s = numStates; s >= 0; s--) {
+			for (int s = numStates - 1; s >= 0; s--) {
 				stateRewards.setValue(s, rewMap.apply(rews.getStateReward(s)));
 			}
 		}
 		transRewards = new ListNestedSimple<>(eval.zero(), eval::isZero);
 		if (rews.hasTransitionRewards()) {
-			for (int s = numStates; s >= 0; s--) {
+			for (int s = numStates - 1; s >= 0; s--) {
 				int n;
 				if (model.getModelType().nondeterministic()) {
 					n = ((NondetModel<?>) model).getNumChoices(s);