Missing function in SimulatorEngine API.

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

prism/src/simulator/SimulatorEngine.java

@@ -806,6 +806,15 @@ public class SimulatorEngine
 		return transitionList.getChoiceIndexOfTransition(index);
 	}
 
+	/**
+	 * Get a string describing the action/module of a transition, specified by
+	 * its index/offset.
+	 */
+	public String getTransitionModuleOrAction(int i, int offset)
+	{
+		return transitionList.getTransitionModuleOrAction(transitionList.getTotalIndexOfTransition(i, offset));
+	}
+
 	/**
 	 * Get a string describing the action/module of a transition, specified by its index.
 	 */