From bd0f1cb719f1b48a4a7b4909d69f7e4edc00c13f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 27 May 2010 22:01:25 +0000 Subject: [PATCH] Explicit Prob1 bugfix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1911 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/MDPModelChecker.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java index f1614199..dc11d537 100644 --- a/prism/src/explicit/MDPModelChecker.java +++ b/prism/src/explicit/MDPModelChecker.java @@ -139,12 +139,12 @@ public class MDPModelChecker extends StateModelChecker iters++; for (i = 0; i < n; i++) { // Need either that i is a target state or - // (for min) all choices have all transitions to v and a transition to u - // (for max) some choice has all transitions to v and a transition to u + // (for min) all choices have all transitions to u and a transition to v + // (for max) some choice has all transitions to u and a transition to v if (min) { - b2 = target.get(i) || mdp.someAllSuccessorsInSetForAllChoices(i, u, v); + b2 = target.get(i) || mdp.someAllSuccessorsInSetForAllChoices(i, v, u); } else { - b2 = target.get(i) || mdp.someAllSuccessorsInSetForSomeChoices(i, u, v); + b2 = target.get(i) || mdp.someAllSuccessorsInSetForSomeChoices(i, v, u); } soln.set(i, b2); }