From 7073b3bc4eb323ffbdedc00cab8e5fa9eedb1174 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 21 Jul 2017 14:01:11 +0000
Subject: [PATCH] explicit.StateValues: getType()

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

diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index 3a097c9a..94bde58e 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1722,4 +1722,9 @@ public class StateValues implements StateVector
 		sv.statesList = statesList;
 		return sv;
 	}
+
+	/** Returns the type of this StateValues object. */
+	public Type getType() {
+		return type;
+	}
 }