From 5d3adc211cbe4e16adcb2c0718d351999b94f1d7 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 20 Aug 2015 06:23:36 +0000
Subject: [PATCH] jltl2ba.APSet: add print_hoa()

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10524 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jltl2ba/APSet.java | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/prism/src/jltl2ba/APSet.java b/prism/src/jltl2ba/APSet.java
index 1d215c3f..ac2bed9c 100644
--- a/prism/src/jltl2ba/APSet.java
+++ b/prism/src/jltl2ba/APSet.java
@@ -135,7 +135,18 @@ public class APSet implements Iterable<String> {
 			out.println(i + ": " + getAP(i));
 		}
 	}
-	
+
+	/** Print this APSet as a HOA AP: header */
+	public void print_hoa(PrintStream out) {
+		out.print("AP: ");
+		out.print(size());
+		for (String ap : this) {
+			// TODO(JK): proper quoting
+			out.print(" \""+ap+"\"");
+		}
+		out.println();
+	}
+
 	public String toString() {
 		String rv = "{";
 		for (Iterator<String> it = this.iterator(); it.hasNext(); ) {