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

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