From 3d34b9baefb2833b985eb072c4dbf9fcbe48cff0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Feb 2010 18:48:33 +0000
Subject: [PATCH] Info output for explicit models.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1753 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/STPG.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/explicit/STPG.java b/prism/src/explicit/STPG.java
index 087c9188..621c5243 100644
--- a/prism/src/explicit/STPG.java
+++ b/prism/src/explicit/STPG.java
@@ -640,6 +640,7 @@ public class STPG extends Model
 	{
 		String s = "";
 		s += numStates + " states";
+		s += " (" + getNumInitialStates() + " initial)";
 		s += ", " + numDistrSets + " distribution sets";
 		s += ", " + numDistrs + " distributions";
 		s += ", " + numTransitions + " transitions";