public class StochasticDeterministicFiniteAutomaton2Dot
extends java.lang.Object
Constructor and Description |
---|
StochasticDeterministicFiniteAutomaton2Dot() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.graphviz.dot.Dot |
toDot(StochasticDeterministicFiniteAutomaton automaton) |
public StochasticDeterministicFiniteAutomaton2Dot()
public static org.processmining.plugins.graphviz.dot.Dot toDot(StochasticDeterministicFiniteAutomaton automaton)