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

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1752 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMC.java | 1 +
 prism/src/explicit/MDP.java  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/prism/src/explicit/DTMC.java b/prism/src/explicit/DTMC.java
index 9ad35bd5..98f6aea8 100644
--- a/prism/src/explicit/DTMC.java
+++ b/prism/src/explicit/DTMC.java
@@ -314,6 +314,7 @@ public class DTMC extends Model
 	{
 		String s = "";
 		s += numStates + " states";
+		s += " (" + getNumInitialStates() + " initial)";
 		s += ", " + numTransitions + " transitions";
 		return s;
 	}
diff --git a/prism/src/explicit/MDP.java b/prism/src/explicit/MDP.java
index 433efb79..36539356 100644
--- a/prism/src/explicit/MDP.java
+++ b/prism/src/explicit/MDP.java
@@ -690,6 +690,7 @@ public class MDP extends Model
 	{
 		String s = "";
 		s += numStates + " states";
+		s += " (" + getNumInitialStates() + " initial)";
 		s += ", " + numDistrs + " distributions";
 		s += ", " + numTransitions + " transitions";
 		s += ", dist max/avg = " + getMaxNumChoices() + "/"