From db61c3b678a2c55e1340288db392e68b52705c29 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 15 Jun 2008 19:11:21 +0000 Subject: [PATCH] Changed strings for model types. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@795 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModel.java | 3 +-- prism/src/prism/ProbModel.java | 3 +-- prism/src/prism/StochModel.java | 3 +-- 3 files changed, 3 insertions(+), 6 deletions(-) diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java index 68a7660e..463ef670 100644 --- a/prism/src/prism/NondetModel.java +++ b/prism/src/prism/NondetModel.java @@ -60,8 +60,7 @@ public class NondetModel extends ProbModel public String getTypeString() { - return "Nondeterministic (MDP)"; // TODO: Change this after regression testing - //return "MDP"; + return "MDP"; } public long getNumChoices() diff --git a/prism/src/prism/ProbModel.java b/prism/src/prism/ProbModel.java index 4cda2f83..95538128 100644 --- a/prism/src/prism/ProbModel.java +++ b/prism/src/prism/ProbModel.java @@ -94,8 +94,7 @@ public class ProbModel implements Model public String getTypeString() { - return "Probabilistic (DTMC)"; // TODO: Change this after regression testing - //return "DTMC"; + return "DTMC"; } // modules diff --git a/prism/src/prism/StochModel.java b/prism/src/prism/StochModel.java index b2216a94..58eb4831 100644 --- a/prism/src/prism/StochModel.java +++ b/prism/src/prism/StochModel.java @@ -45,8 +45,7 @@ public class StochModel extends ProbModel public String getTypeString() { - return "Stochastic (CTMC)"; // TODO: Change this after regression testing - //return "CTMC"; + return "CTMC"; } public String getTransName()