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

@@ -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