Fixed bugs in output of vectors when showing states but no indices.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8210 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/StateValues.java

@@ -1610,10 +1610,12 @@ public class StateValues
 					log.println(getValue(n));
 				}
 			} else {
-				if (printIndices)
+				if (printIndices) {
 					log.print(n);
+					log.print(":");
+				}
 				if (printStates && statesList != null)
-					log.print(":" + statesList.get(n).toString());
+					log.print(statesList.get(n).toString());
 				if (printSparse && type instanceof TypeBool) {
 					log.println();
 				} else {

prism/src/prism/StateValuesDV.java

@@ -627,10 +627,12 @@ public class StateValuesDV implements StateValues
 					outputLog.println(d);
 				}
 			} else {
-				if (printIndices)
+				if (printIndices) {
 					outputLog.print(n);
+					outputLog.print(":");
+				}
 				if (printStates) {
-					outputLog.print(":(");
+					outputLog.print("(");
 					j = varList.getNumVars();
 					for (i = 0; i < j; i++) {
 						// integer variable