Comments

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7003 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 23943916e6
1 changed files with 2 additions and 0 deletions
--- a/prism/src/strat/MDStrategyArray.java
+++ b/prism/src/strat/MDStrategyArray.java
@ -32,7 +32,9 @@ package strat;
 */
 public class MDStrategyArray extends MDStrategy
 {
+	// Model associated with the strategy
 	private explicit.NondetModel model;
+	// Index of choice taken in each state 
 	private int choices[];
 	
 	/**