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

@@ -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;
+	}
 }