From 8bca4f74761fecd00cf3054c6b3a1149710e2a72 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Sat, 22 Jul 2017 13:02:48 +0000 Subject: [PATCH] exact model checking: output approximate result as well git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12156 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 48c63317..a77fb29b 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -48,6 +48,7 @@ import jdd.JDDNode; import jdd.JDDVars; import mtbdd.PrismMTBDD; import odd.ODDUtils; +import param.BigRational; import param.ModelBuilder; import param.ParamModel; import param.ParamModelChecker; @@ -3174,7 +3175,11 @@ public class Prism extends PrismComponent implements PrismSettingsListener if (!("Result".equals(prop.getExpression().getResultName()))) resultString += " (" + prop.getExpression().getResultName().toLowerCase() + ")"; resultString += ": " + result.getResultString(); - mainLog.print("\n" + resultString); + mainLog.println("\n" + resultString); + + if (result.getResult() instanceof BigRational) { + mainLog.println("Approximate result: " + ((BigRational)result.getResult()).doubleValue()); + } return result; }