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

@@ -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);