cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz
Class AutomatonToDot

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz.AutomatonToDot

public final class AutomatonToDot
extends Object

Converts Automaton to dot language string representation used as input to graphviz.

Method Summary

static <T> String

convertToDot(Automaton<T> automaton, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

convertToDot

public static <T> String convertToDot(Automaton<T> automaton,
                                      org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)