From b2b1cbe2369f67f8a754775d895c447aa2f92dca Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Nov 2010 22:09:21 +0000
Subject: [PATCH] Model checker displays num states satisfying filter.

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

diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 383300bf..2178863e 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1027,6 +1027,9 @@ public class StateModelChecker implements ModelChecker
 		// Remember whether filter is for the initial state and, if so, whether there's just one
 		filterInit = (filter instanceof ExpressionLabel && ((ExpressionLabel) filter).getName().equals("init"));
 		filterInitSingle = filterInit & model.getNumStartStates() == 1;
+		// Print out number of states satisfying filter
+		if (!filterInit)
+			mainLog.println("\nStates satisfying filter " + filter + ": " + statesFilter.sizeString());
 
 		// Compute result according to filter type
 		op = expr.getOperatorType();