public interface AutomatonRenderer
| Modifier and Type | Method and Description |
|---|---|
void |
render(Automaton aut,
java.io.PrintStream ps)
Renders the content of an automaton.
|
void |
reset()
Resets the renderer.
|
void render(Automaton aut, java.io.PrintStream ps)
aut - The automaton to renderps - The print stream where the content of the automaton is to
be printedvoid reset()
Copyright © Sylvain HallĂ©. All Rights Reserved.