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 + ")"; 
+	}
 }