Add TransitionList.getChoiceModuleOrAction().

prism/src/simulator/TransitionList.java

@@ -205,6 +205,15 @@ public class TransitionList
 		return getChoiceOfTransition(index).getModuleOrActionIndex();
 	}
 
+	/**
+	 * Get a string describing the action/module of a choice, specified by its index.
+	 * (form is "module" or "[action]")
+	 */
+	public String getChoiceModuleOrAction(int index)
+	{
+		return getChoice(index).getModuleOrAction();
+	}
+
 	/**
 	 * Get the index of the action/module of a choice, specified by its index.
 	 * (-i for independent in ith module, i for synchronous on ith action)