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. */