public interface ExecutionPrinter
Automaton
,
CospanDecomposition
Modifier and Type | Method and Description |
---|---|
void |
print(Automaton automaton,
CospanDecomposition decomposition)
Prints a run of the automaton
automaton on the cospan decomposition decomposition . |
void print(Automaton automaton, CospanDecomposition decomposition)
automaton
on the cospan decomposition decomposition
.automaton
- the automaton to be useddecomposition
- the decomposition to be used