From 6c0ead6d2f9472125ac9c3e7b4ce6e813a4dbc5a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Jun 2015 16:50:10 +0000
Subject: [PATCH] Some useful additions to Pair utility class: implements
 Map.Entry and has a toString().

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9929 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Pair.java | 26 +++++++++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/Pair.java b/prism/src/prism/Pair.java
index f577c140..51fbd428 100644
--- a/prism/src/prism/Pair.java
+++ b/prism/src/prism/Pair.java
@@ -26,10 +26,12 @@
 
 package prism;
 
+import java.util.Map.Entry;
+
 /**
  * Simple class to store a pair of values.
  */
-public class Pair<X,Y>
+public class Pair<X,Y> implements Entry<X, Y>
 {
 	public X first;
 	public Y second;
@@ -39,4 +41,26 @@ public class Pair<X,Y>
 		this.first = first;
 		this.second = second;
 	}
+
+	@Override
+	public X getKey() {
+		return first;
+	}
+
+	@Override
+	public Y getValue() {
+		return second;
+	}
+
+	@Override
+	public Y setValue(Y value) {
+		second = value;
+		return second;
+	}
+	
+	@Override
+	public String toString()
+	{
+		return "(" + first + "," + second + ")"; 
+	}
 }