From 7646cbfbd57e3d05853cc07cea5e9e8816f6fa93 Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Mon, 5 Aug 2013 15:20:07 +0000
Subject: [PATCH] Added getDBM to DBMList

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7230 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/pta/DBMList.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/prism/src/pta/DBMList.java b/prism/src/pta/DBMList.java
index 8082f7ca..48f5dc0c 100644
--- a/prism/src/pta/DBMList.java
+++ b/prism/src/pta/DBMList.java
@@ -130,6 +130,14 @@ public class DBMList extends NCZone
 	{
 		return pta;
 	}
+	
+	/**
+	 * Get DBM
+	 */
+	public DBM getDBM(int i) 
+	{
+		return list.get(i);
+	}
 
 	// Zone operations (modify the zone)