From 30be4f175eef39570bcca99cf5e20a4468fcca5b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 8 Jun 2011 08:53:36 +0000 Subject: [PATCH] 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 | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index 9a7dd854..b059c3c4 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/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. */