From 3b8d17c3528ca8750d14604e4c18306a723f450d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 17 Mar 2015 16:09:37 +0000
Subject: [PATCH] Missing toString in AcceptanceReach (and output tweak in DA).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9696 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/acceptance/AcceptanceReach.java | 9 +++++++++
 prism/src/prism/DA.java                   | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/prism/src/acceptance/AcceptanceReach.java b/prism/src/acceptance/AcceptanceReach.java
index 77209416..96774472 100644
--- a/prism/src/acceptance/AcceptanceReach.java
+++ b/prism/src/acceptance/AcceptanceReach.java
@@ -28,6 +28,8 @@ package acceptance;
 
 import java.util.BitSet;
 
+import acceptance.AcceptanceRabin.RabinPair;
+
 import jdd.JDDVars;
 
 /**
@@ -95,6 +97,13 @@ public class AcceptanceReach implements AcceptanceOmega
 		return goalStates.get(i) ? "!" : " ";
 	}
 
+	/** Returns a textual representation of this acceptance condition. */
+	@Override
+	public String toString()
+	{
+		return goalStates.toString();
+	}
+
 	@Override
 	public String getSizeStatistics()
 	{
diff --git a/prism/src/prism/DA.java b/prism/src/prism/DA.java
index f5ce2bfe..107e3dd1 100644
--- a/prism/src/prism/DA.java
+++ b/prism/src/prism/DA.java
@@ -209,7 +209,7 @@ public class DA<Symbol, Acceptance extends AcceptanceOmega>
 				s += " " + i + "-" + e.label + "->" + e.dest;
 			}
 		}
-		s += "; " + acceptance.getTypeName() + " acceptance :";
+		s += "; " + acceptance.getTypeName() + " acceptance: ";
 		s += acceptance;
 		return s;
 	}