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. */