From dec122cd20c9f4541bed78828b2fc31236afc864 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 5 Jul 2011 21:23:54 +0000 Subject: [PATCH] Code comments git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3213 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/SimulatorEngine.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index 3760323a..a3b93fbf 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/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) {