From 71975abdf7215c8b123618a5f79c43e46165efbf Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 5 Jul 2016 09:50:25 +0000
Subject: [PATCH] JavaDoc: improve documentation of ProbModel.resetTrans and
 ProbModel.resetTransRewards

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11457 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ProbModel.java | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/prism/src/prism/ProbModel.java b/prism/src/prism/ProbModel.java
index e9633372..a3889871 100644
--- a/prism/src/prism/ProbModel.java
+++ b/prism/src/prism/ProbModel.java
@@ -447,9 +447,12 @@ public class ProbModel implements Model
 	}
 
 	/**
-	 * Reset transition matrix DD
+	 * Reset transition matrix DD.
+	 * Note: Update reachable states and call {@code filterReachableStates}
+	 * afterwards to update related information (trans01, odd, etc).
+	 *
+	 * <br>[ STORES: trans, DEREFS: <i>old transition matrix DD</i> ]
 	 */
-
 	public void resetTrans(JDDNode trans)
 	{
 		if (this.trans != null)
@@ -458,9 +461,10 @@ public class ProbModel implements Model
 	}
 
 	/**
-	 * Reset transition rewards DDs
+	 * Reset transition rewards DD for reward with index i.
+	 *
+	 * <br>[ STORES: transRewards, DEREFS: <i>old trans reward DD</i> ]
 	 */
-
 	public void resetTransRewards(int i, JDDNode transRewards)
 	{
 		if (this.transRewards[i] != null) {