From 5dab19e7dc2c0c75392bb5a5dc0d8d1c6fe39cf1 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Oct 2011 22:09:12 +0000 Subject: [PATCH] Add check for trying val iter from above for max probs - does not work. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4101 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/MDPModelChecker.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java index 343470a8..973c010f 100644 --- a/prism/src/explicit/MDPModelChecker.java +++ b/prism/src/explicit/MDPModelChecker.java @@ -250,8 +250,11 @@ public class MDPModelChecker extends ProbModelChecker boolean genAdv; // Check for some unsupported combinations - if (solnMethod == SolnMethod.VALUE_ITERATION && valIterDir == ValIterDir.ABOVE && !(precomp && prob0)) { - throw new PrismException("Precomputation (Prob0) must be enabled for value iteration from above"); + if (solnMethod == SolnMethod.VALUE_ITERATION && valIterDir == ValIterDir.ABOVE) { + if (!(precomp && prob0)) + throw new PrismException("Precomputation (Prob0) must be enabled for value iteration from above"); + if (!min) + throw new PrismException("Value iteration from above only works for minimum probabilities"); } // Are we generating an optimal adversary?