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

@@ -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;
+	}
 }