Partial changes to strategy classes.

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

prism/src/prism/Prism.java

@@ -2674,6 +2674,7 @@ public class Prism implements PrismSettingsListener
 
 	/**
 	 * Export a strategy (for the currently loaded model);
+	 * TODO: is it necessarily loaded?
 	 * @param strat The strategy
 	 * @param file File to output the path to (stdout if null)
 	 */

prism/src/strat/MDStrategy.java

@@ -36,6 +36,7 @@ public abstract class MDStrategy implements Strategy
 {
 	public abstract int getNumStates();
 	public abstract int getChoice(int i);
+	public abstract Object getChoiceAction(int i);
 	
 	public void export(PrismLog out)
 	{

prism/src/strat/MDStrategyArray.java

@@ -32,14 +32,16 @@ package strat;
  */
 public class MDStrategyArray extends MDStrategy
 {
+	private explicit.Model model;
 	private int choices[];
 	
 	/**
 	 * Creates an MDStrategyArray from an integer array of choices.
 	 * The array may later be modified/delete - take a copy if you want to keep it.
 	 */
-	public MDStrategyArray(int choices[])
+	public MDStrategyArray(explicit.Model model, int choices[])
 	{
+		this.model = model;
 		this.choices = choices;
 	}
 	
@@ -54,4 +56,10 @@ public class MDStrategyArray extends MDStrategy
 	{
 		return choices[i];
 	}
+	
+	@Override
+	public Object getChoiceAction(int i)
+	{
+		return "";//model.getAction(choices[i]);
+	}
 }