From 37b4284bfd8b7efab531d06a93c3e36e2ff58332 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 14 Jun 2015 22:45:01 +0000
Subject: [PATCH] DA can print to a PrismLog in either text or Dot format.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10017 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/DA.java | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/prism/src/prism/DA.java b/prism/src/prism/DA.java
index 11024291..de816f67 100644
--- a/prism/src/prism/DA.java
+++ b/prism/src/prism/DA.java
@@ -201,6 +201,21 @@ public class DA<Symbol, Acceptance extends AcceptanceOmega>
 		out.println("}");
 	}
 
+	/**
+	 * Print automaton to a PrismLog in a specified format ("dot" or "txt").
+	 */
+	public void print(PrismLog out, String type) throws PrismException
+	{
+		switch (type) {
+		case "txt":
+			out.println(toString());
+			break;
+		case "dot":
+			printDot(out);
+			break;
+		}
+	}
+
 	// Standard methods
 
 	@Override