public interface RunPrinter
Modifier and Type | Method and Description |
---|---|
void |
print(Automaton automaton,
CospanDecomposition decomposition)
Prints the run of an automaton on a decomposition to this printer.
|
void print(Automaton automaton, CospanDecomposition decomposition)
automaton
- the automaton whose run is to be printeddecomposition
- the decomposition on which the automaton is run