public class DotAutomatonRenderer extends java.lang.Object implements AutomatonRenderer
| Constructor and Description |
|---|
DotAutomatonRenderer()
Creates a new instance of the renderer
|
| 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.
|
public DotAutomatonRenderer()
public void render(Automaton aut, java.io.PrintStream ps)
AutomatonRendererrender in interface AutomatonRendereraut - The automaton to renderps - The print stream where the content of the automaton is to
be printedpublic void reset()
AutomatonRendererreset in interface AutomatonRendererCopyright © Sylvain HallĂ©. All Rights Reserved.