From 4c75a22a4e977bf1a02deeb1f156b44c38112126 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 16 Feb 2020 00:27:13 +0000 Subject: [PATCH] Add TransitionList.getChoiceModuleOrAction(). --- prism/src/simulator/TransitionList.java | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/prism/src/simulator/TransitionList.java b/prism/src/simulator/TransitionList.java index c1a116ef..cc822662 100644 --- a/prism/src/simulator/TransitionList.java +++ b/prism/src/simulator/TransitionList.java @@ -205,6 +205,15 @@ public class TransitionList return getChoiceOfTransition(index).getModuleOrActionIndex(); } + /** + * Get a string describing the action/module of a choice, specified by its index. + * (form is "module" or "[action]") + */ + public String getChoiceModuleOrAction(int index) + { + return getChoice(index).getModuleOrAction(); + } + /** * Get the index of the action/module of a choice, specified by its index. * (-i for independent in ith module, i for synchronous on ith action)