From a783609238765adf47ef55ae8f0b8d448f933d17 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 3 Jun 2014 14:03:05 +0000
Subject: [PATCH] Missing file from last commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8400 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/StateValues.java | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index d066faae..fc49fc33 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -46,11 +46,12 @@ import prism.PrismException;
 import prism.PrismLangException;
 import prism.PrismLog;
 import prism.PrismUtils;
+import prism.StateVector;
 
 /**
  * Class for explicit-state storage of a state-indexed vector of values (int, double, boolean).
  */
-public class StateValues
+public class StateValues implements StateVector
 {
 	// Type (int, double or boolean)
 	protected Type type;
@@ -1275,9 +1276,13 @@ public class StateValues
 
 	// METHODS TO ACCESS VECTOR DATA
 
-	/**
-	 * Get the value of the ith element of the vector, as an Object.
-	 */
+	@Override
+	public int getSize()
+	{
+		return size;
+	}
+	
+	@Override
 	public Object getValue(int i)
 	{
 		if (type instanceof TypeInt) {