ProbModel: add resetStateRewards (analogous to resetTransRewards)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11458 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/ProbModel.java

@@ -473,6 +473,19 @@ public class ProbModel implements Model
 		this.transRewards[i] = transRewards;
 	}
 
+	/**
+	 * Reset state rewards DD for reward with index i.
+	 *
+	 * <br>[ STORES: stateRewards, DEREFS: <i>old state reward DD</i> ]
+	 */
+	public void resetStateRewards(int i, JDDNode stateRewards)
+	{
+		if (this.stateRewards[i] != null) {
+			JDD.Deref(this.stateRewards[i]);
+		}
+		this.stateRewards[i] = stateRewards;
+	}
+
 	// do reachability
 
 	public void doReachability()