From 7e27932a68cd78b9b6a52dc954ab03aaadfbe4be Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Jul 2013 21:57:20 +0000
Subject: [PATCH] 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 | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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