Code comments

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

prism/src/simulator/SimulatorEngine.java

@@ -847,6 +847,7 @@ public class SimulatorEngine
 	/**
 	 * Get the action label of a transition as a string, specified by its index/offset.
 	 * (null for asynchronous/independent transitions)
+	 * (see also {@link #getTransitionModuleOrAction(int, int)} and {@link #getTransitionModuleOrActionIndex(int, int)})
 	 */
 	public String getTransitionAction(int i, int offset)
 	{
@@ -857,6 +858,7 @@ public class SimulatorEngine
 	/**
 	 * Get the action label of a transition as a string, specified by its index.
 	 * (null for asynchronous/independent transitions)
+	 * (see also {@link #getTransitionModuleOrAction(int)} and {@link #getTransitionModuleOrActionIndex(int)})
 	 */
 	public String getTransitionAction(int index)
 	{