From 152031aff51ed18453de398e2cdebb283cddf224 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 25 Aug 2015 15:53:10 +0000 Subject: [PATCH] Symbolic, BSCC computation: Omit BSCC size output when there are >10 BSCCs git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10573 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/SCCComputer.java | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/prism/src/prism/SCCComputer.java b/prism/src/prism/SCCComputer.java index 9e7c90fe..a8c64309 100644 --- a/prism/src/prism/SCCComputer.java +++ b/prism/src/prism/SCCComputer.java @@ -201,10 +201,16 @@ public abstract class SCCComputer extends PrismComponent mainLog.print("\nSCCs: " + sccs.size()); // Note: the BDDs in sccs have been derefed but the array still exists mainLog.print(", BSCCs: " + bsccs.size()); mainLog.println(", non-BSCC states: " + JDD.GetNumMintermsString(notInBSCCs, allDDRowVars.n())); - mainLog.print("BSCC sizes:"); - for (i = 0; i < bsccs.size(); i++) { - mainLog.print(" " + (i + 1) + ":" + JDD.GetNumMintermsString(bsccs.elementAt(i), allDDRowVars.n())); + + boolean verbose = getSettings().getBoolean(PrismSettings.PRISM_VERBOSE); + if (!verbose && bsccs.size() > 10) { + mainLog.print("BSCC sizes: More than 10 BSCCs, use verbose mode to view sizes for all.\n"); + } else { + mainLog.print("BSCC sizes:"); + for (i = 0; i < bsccs.size(); i++) { + mainLog.print(" " + (i + 1) + ":" + JDD.GetNumMintermsString(bsccs.elementAt(i), allDDRowVars.n())); + } + mainLog.println(); } - mainLog.println(); } }