From 0545f1833d022fa3c512a616935ab98a4ff67e60 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 1 May 2009 16:43:04 +0000 Subject: [PATCH] Removal of surplus debugging code. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1023 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModel.java | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java index 5f66bc35..1c59c7af 100644 --- a/prism/src/prism/NondetModel.java +++ b/prism/src/prism/NondetModel.java @@ -265,17 +265,6 @@ public class NondetModel extends ProbModel { int i, j, n; - if (transInd != null) - JDD.PrintMatrix(transInd, allDDRowVars, allDDNondetVars, JDD.LIST); - - if (transSynch != null) - for (i = 0; i < numSynchs; i++) { - System.out.println(i); - JDD.PrintSupport(transSynch[i]); - JDD.PrintMatrix(transSynch[i], allDDRowVars, allDDNondetVars, JDD.LIST); - System.out.println(); - } - log.print("States: " + getNumStatesString() + " (" + getNumStartStatesString() + " initial)" + "\n"); log.print("Transitions: " + getNumTransitionsString() + "\n"); log.print("Choices: " + getNumChoicesString() + "\n");