From 5bfd9fdd59ab280ca7f73d6b38b5e859bc5312a9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 6 Sep 2011 12:29:02 +0000
Subject: [PATCH] Bug fix in filtered printing.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3593 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/StateModelChecker.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 66ff7c31..f0a7cef7 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1062,6 +1062,8 @@ public class StateModelChecker implements ModelChecker
 				mainLog.print("\nSatisfying states");
 				mainLog.println(filterTrue ? ":" : " that are also in filter " + filter + ":");
 				dd = vals.deepCopy().convertToStateValuesMTBDD().getJDDNode();
+				JDD.Ref(ddFilter);
+				dd = JDD.And(dd, ddFilter);
 				new StateListMTBDD(dd, model).print(mainLog);
 				JDD.Deref(dd);
 			} else {