public final class AUTWriter extends Object
Modifier and Type | Method and Description |
---|---|
static <S,I> void |
writeAutomaton(SimpleAutomaton<S,I> automaton,
Alphabet<I> alphabet,
Function<I,String> inputTransformer,
OutputStream os) |
static <S,I> void |
writeAutomaton(SimpleAutomaton<S,I> automaton,
Alphabet<I> alphabet,
OutputStream os) |
public static <S,I> void writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, OutputStream os) throws IOException
IOException
public static <S,I> void writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, Function<I,String> inputTransformer, OutputStream os) throws IOException
IOException
Copyright © 2019. All rights reserved.