Missing file from previous commits.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7102 bbc10eb1-c90d-0410-af57-cb519fbb1720

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