From ec7a5b95112858a0af1f00ef492a09e61db64cb2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 13 Jun 2013 09:38:06 +0000 Subject: [PATCH] Javadoc. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6920 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/MDP.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/MDP.java b/prism/src/explicit/MDP.java index 13254d3e..751216b9 100644 --- a/prism/src/explicit/MDP.java +++ b/prism/src/explicit/MDP.java @@ -100,7 +100,7 @@ public interface MDP extends Model * Perform a single step of precomputation algorithm Prob1E, i.e., for states i in {@code subset}, * set bit i of {@code result} iff, for some choice, * there is a transition to a state in {@code v} and all transitions go to states in {@code u}. - * Optionally, store optimal (memoryless) strategy info. + * Optionally, store optimal (memoryless) strategy info for 1 states. * @param subset Only compute for these states * @param u Set of states {@code u} * @param v Set of states {@code v}