From 940cc58839d0b8e8c08257c28d9731072964ed90 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jun 2011 09:00:41 +0000
Subject: [PATCH] Added parseName method in ModelType.

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

diff --git a/prism/src/prism/ModelType.java b/prism/src/prism/ModelType.java
index f83b4141..fd8c6f67 100644
--- a/prism/src/prism/ModelType.java
+++ b/prism/src/prism/ModelType.java
@@ -134,4 +134,22 @@ public enum ModelType {
 		// Should never happen
 		return true;
 	}
+	
+	public static ModelType parseName(String name)
+	{
+		if ("ctmc".equals(name))
+			return CTMC;
+		else if ("ctmdp".equals(name))
+			return CTMDP;
+		else if ("dtmc".equals(name))
+			return DTMC;
+		else if ("mdp".equals(name))
+			return MDP;
+		else if ("pta".equals(name))
+			return PTA;
+		else if ("stpg".equals(name))
+			return STPG;
+		else
+			return null;
+	}
 }