diff --git a/prism/src/prism/DRA.java b/prism/src/prism/DRA.java
index 9ca8bdcd..32dd8cfc 100644
--- a/prism/src/prism/DRA.java
+++ b/prism/src/prism/DRA.java
@@ -158,6 +158,18 @@ public class DRA<Symbol>
 		return edges.get(i).get(j).label;
 	}
 
+	/**
+	 * Get the destination of the edge from state i with label lab.
+	 * Returns -1 if no such edge is found.
+	 */
+	public int getEdgeDestByLabel(int i, Symbol lab)
+	{
+		for (Edge e : edges.get(i))
+			if (e.label.equals(lab))
+				return e.dest;
+		return -1;
+	}
+
 	/**
 	 * Get the number of pairs (L_i,K_i) in the acceptance condition.
 	 */