From 9d7faf1da89777367587645855e253ad428556f0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 11 May 2014 23:59:56 +0000 Subject: [PATCH] Comment clarification. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8211 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 5c5ae770..8949aede 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -3332,10 +3332,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 if( settings.getString(PrismSettings.PRISM_TRANSIENT_METHOD).equals("Fast adaptive uniformisation") ){ - probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, true, false); - } else { + else if (!settings.getString(PrismSettings.PRISM_TRANSIENT_METHOD).equals("Fast adaptive uniformisation")) { probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, fileOut == null, true); + } else { + // If full state space not computed, don't print vectors and always show states + probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, true, false); } // print out computation time