From 67085decca1fd73686ab6f848ae95d47967db13e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 18 Dec 2009 11:44:23 +0000 Subject: [PATCH] First full version of new filter code (removed debug code). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1662 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/StateModelChecker.java | 1 - prism/src/prism/StateProbsMTBDD.java | 2 -- 2 files changed, 3 deletions(-) diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java index 58cd8f68..4af392a3 100644 --- a/prism/src/prism/StateModelChecker.java +++ b/prism/src/prism/StateModelChecker.java @@ -1271,7 +1271,6 @@ public class StateModelChecker implements ModelChecker JDD.Deref(ddFilter); vals.clear(); - res.print(mainLog); return res; } } diff --git a/prism/src/prism/StateProbsMTBDD.java b/prism/src/prism/StateProbsMTBDD.java index 113de6d2..b554bcdf 100644 --- a/prism/src/prism/StateProbsMTBDD.java +++ b/prism/src/prism/StateProbsMTBDD.java @@ -416,8 +416,6 @@ public class StateProbsMTBDD implements StateProbs return; } - JDD.PrintVector(probs, vars); - // set up and call recursive print outputLog = log; for (i = 0; i < varList.getNumVars(); i++) {