public class NFAExport extends Object
Modifier and Type | Method and Description |
---|---|
void |
silentTo(Path path) |
void |
to(OutputStream out) |
void |
writeAutomaton(Writer writer) |
public void silentTo(Path path)
public void to(OutputStream out) throws IOException
IOException
public void writeAutomaton(Writer writer) throws IOException
IOException
Copyright © 2019. All rights reserved.