From f76e72827e79c5ed5ef1904001f964d48f9facbe Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 12 Jul 2016 10:00:44 +0000 Subject: [PATCH] Correct error in documentation for ModelGenerator interface. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11505 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ModelGenerator.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/ModelGenerator.java b/prism/src/prism/ModelGenerator.java index 3b037f38..730b9e0d 100644 --- a/prism/src/prism/ModelGenerator.java +++ b/prism/src/prism/ModelGenerator.java @@ -88,11 +88,11 @@ public interface ModelGenerator extends ModelInfo public int getNumTransitions(int i) throws PrismException; /** - * Get the action label of a choice, specified by its index. + * Get the action label of a transition, specified by its index. * The label can be any Object, but will often be treated as a string, so it should at least * have a meaningful toString() method implemented. Absence of an action label is denoted by null. - * Note: If the model has different actions for different transitions within a choice - * (as can be the case for Markov chains), this method returns the action for the first transition. + * Note: For most types of models, the action label will be the same for all transitions within + * the same nondeterministic choice, so it is better to query the action by choice, not transition. */ public Object getTransitionAction(int i) throws PrismException;