From 3ddadc504e04b4cee94a4aa5ae84cbc191f351ed Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 21 Nov 2013 12:03:34 +0000 Subject: [PATCH] Comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7621 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/LTLModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/LTLModelChecker.java b/prism/src/explicit/LTLModelChecker.java index dfedbc95..c7dedec5 100644 --- a/prism/src/explicit/LTLModelChecker.java +++ b/prism/src/explicit/LTLModelChecker.java @@ -220,7 +220,7 @@ public class LTLModelChecker extends PrismComponent * @param dra The DRA * @param mdp The MDP * @param labelBS BitSets giving the set of states for each AP in the DRA - * @return The product DTMC and a list of each of its states (s,q), encoded as (s * draSize + q) + * @return The product MDP and a list of each of its states (s,q), encoded as (s * draSize + q) */ public Pair constructProductMDP(DRA dra, MDP mdp, Vector labelBS) throws PrismException {