From 9d13945300d63759dd46131686d854eb4c5b47e7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Feb 2012 18:44:26 +0000
Subject: [PATCH] New toString method + comments in State.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4584 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/State.java | 25 +++++++++++++++++++++++--
 1 file changed, 23 insertions(+), 2 deletions(-)

diff --git a/prism/src/parser/State.java b/prism/src/parser/State.java
index d1ac5fd0..e46da4dc 100644
--- a/prism/src/parser/State.java
+++ b/prism/src/parser/State.java
@@ -196,6 +196,9 @@ public class State implements Comparable<State>
 		return 0;
 	}
 
+	/**
+	 * Get string representation, e.g. "(0,true,5)". 
+	 */
 	@Override
 	public String toString()
 	{
@@ -212,7 +215,24 @@ public class State implements Comparable<State>
 	}
 
 	/**
-	 * Get string representation with variables names (taken from a String list). 
+	 * Get string representation, without outer parentheses, e.g. "0,true,5". 
+	 */
+	public String toStringNoParentheses()
+	{
+		int i, n;
+		String s = "";
+		n = varValues.length;
+		for (i = 0; i < n; i++) {
+			if (i > 0)
+				s += ",";
+			s += varValues[i];
+		}
+		return s;
+	}
+
+	/**
+	 * Get string representation, e.g. "(a=0,b=true,c=5)", 
+	 * with variables names (taken from a String list). 
 	 */
 	public String toString(List<String> varNames)
 	{
@@ -229,7 +249,8 @@ public class State implements Comparable<State>
 	}
 
 	/**
-	 * Get string representation with variables names (taken from a ModulesFile). 
+	 * Get string representation, e.g. "(a=0,b=true,c=5)", 
+	 * with variables names (taken from a ModulesFile). 
 	 */
 	public String toString(ModulesFile mf)
 	{