From fee3972b20e331708781218d7fffcb4062c34876 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 16 Jul 2015 21:42:37 +0000 Subject: [PATCH] Bug fix in explicit co-ssafe reward computation. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10336 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/MDPModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java index 6b2d62c0..c72016ae 100644 --- a/prism/src/explicit/MDPModelChecker.java +++ b/prism/src/explicit/MDPModelChecker.java @@ -192,7 +192,7 @@ public class MDPModelChecker extends ProbModelChecker mainLog.println("\nComputing reachability rewards..."); mcProduct = new MDPModelChecker(this); mcProduct.inheritSettings(this); - rewardsProduct = StateValues.createFromDoubleArray(mcProduct.computeReachRewards((MDP)product.getProductModel(), productRewards, acc, false).soln, product.getProductModel()); + rewardsProduct = StateValues.createFromDoubleArray(mcProduct.computeReachRewards((MDP)product.getProductModel(), productRewards, acc, minMax.isMin()).soln, product.getProductModel()); // Mapping rewards in the original model rewards = product.projectToOriginalModel(rewardsProduct);