From 835e95a861eed087b59291b72a013d01ab188ec9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 19 Jun 2015 16:49:01 +0000 Subject: [PATCH] Don't print optimal strategy to screen when exporting it (explicit engine). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10042 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/MDPModelChecker.java | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java index 3bea7a19..2ee8d24d 100644 --- a/prism/src/explicit/MDPModelChecker.java +++ b/prism/src/explicit/MDPModelChecker.java @@ -345,12 +345,6 @@ public class MDPModelChecker extends ProbModelChecker if (exportAdv) { // Prune strategy restrictStrategyToReachableStates(mdp, strat); - // Print strategy - mainLog.print("Strat:"); - for (i = 0; i < n; i++) { - mainLog.print(" " + i + ":" + strat[i]); - } - mainLog.println(); // Export PrismLog out = new PrismFileLog(exportAdvFilename); new DTMCFromMDPMemorylessAdversary(mdp, strat).exportToPrismExplicitTra(out); @@ -1251,12 +1245,6 @@ public class MDPModelChecker extends ProbModelChecker if (exportAdv) { // Prune strategy restrictStrategyToReachableStates(mdp, strat); - // Print strategy - mainLog.print("Strat:"); - for (i = 0; i < n; i++) { - mainLog.print(" " + i + ":" + strat[i]); - } - mainLog.println(); // Export PrismLog out = new PrismFileLog(exportAdvFilename); new DTMCFromMDPMemorylessAdversary(mdp, strat).exportToPrismExplicitTra(out);