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

@@ -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()
 	{

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