Remove unneeded method in DTMCSimple.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7100 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 0393cbb9d0
1 changed files with 0 additions and 8 deletions
--- 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. 
 	 */