From 16d294eca95bc44ea4f49c012d2c5ce471c27b4f Mon Sep 17 00:00:00 2001 From: Frits Dannenberg Date: Sat, 1 Mar 2014 17:31:53 +0000 Subject: [PATCH] changed output se git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8026 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 1ab6dded..3e3049c8 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -3325,8 +3325,11 @@ public class Prism extends PrismComponent implements PrismSettingsListener // print out or export probabilities if (probs != null) probs.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, fileOut == null); - else + else if( settings.getString(PrismSettings.PRISM_TRANSIENT_METHOD).equals("Fast adaptive uniformisation") ){ + probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, true, false); + } else { probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, fileOut == null, true); + } // print out computation time mainLog.println("\nTime for transient probability computation: " + l / 1000.0 + " seconds.");