automata.finite: use Dottable

prism/src/automata/finite/FiniteAutomaton.java

@@ -9,11 +9,9 @@ import java.util.Queue;
 import java.util.Set;
 import java.util.Stack;
 
-import prism.PrismException;
-import prism.PrismFileLog;
-import prism.PrismLog;
+import common.Dottable;
 
-public abstract class FiniteAutomaton<Symbol, E extends Edge<Symbol>> {
+public abstract class FiniteAutomaton<Symbol, E extends Edge<Symbol>> implements Dottable {
 	protected List<Symbol> apList;
 	
 	protected HashSet<State> states;
@@ -461,16 +459,4 @@ public abstract class FiniteAutomaton<Symbol, E extends Edge<Symbol>> {
 		
 		return result.toString();
 	}
-	
-	public void exportToDotFile(String filename) throws PrismException {
-		try (PrismFileLog log = PrismFileLog.create(filename)) {
-			exportToDotFile(log);
-		}
-	}
-	
-	public void exportToDotFile(PrismLog out) {
-		out.print(toDot());
-	}
-	
-	public abstract String toDot();
 }