From 0393cbb9d09c17aa856e9565eef059030b1134ec Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Jul 2013 21:15:24 +0000
Subject: [PATCH] Remove unneeded method in DTMCSimple.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7100 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCSimple.java | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/prism/src/explicit/DTMCSimple.java b/prism/src/explicit/DTMCSimple.java
index c1026e2d..3c038d80 100644
--- a/prism/src/explicit/DTMCSimple.java
+++ b/prism/src/explicit/DTMCSimple.java
@@ -195,14 +195,6 @@ public class DTMCSimple extends DTMCExplicit implements ModelSimple
 		distr.set(j, prob);
 	}
 
-	/**
-	 * Returns the probability for a transition
-	 */
-	public double getProbability(int i, int j)
-	{
-		return trans.get(i).get(j);
-	}
-
 	/**
 	 * Add to the probability for a transition. 
 	 */