From a42526551c869ff83513e74250be6718856f48fe Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 18 Jul 2013 21:10:06 +0000 Subject: [PATCH] Code/comment tidy. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7085 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ProbModelChecker.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java index 4304b61e..36821a49 100644 --- a/prism/src/prism/ProbModelChecker.java +++ b/prism/src/prism/ProbModelChecker.java @@ -609,11 +609,9 @@ public class ProbModelChecker extends NonProbModelChecker modelProduct.exportStates(Prism.EXPORT_PLAIN, new PrismFileLog(prism.getExportProductStatesFilename())); } - // Find accepting maximum end BSCC + // Find accepting BSCCs + compute reachability probabilities mainLog.println("\nFinding accepting BSCCs..."); JDDNode acc = mcLtl.findAcceptingBSCCs(dra, draDDRowVars, draDDColVars, modelProduct); - - // Compute reachability probabilities mainLog.println("\nComputing reachability probabilities..."); mcProduct = createNewModelChecker(prism, modelProduct, null); probsProduct = mcProduct.checkProbUntil(modelProduct.getReach(), acc, qual);