Class AUTWriter
- java.lang.Object
-
- net.automatalib.serialization.aut.AUTWriter
-
public final class AUTWriter extends Object
A utility class that exports automata to the AUT format (see http://cadp.inria.fr/man/aut.html for further information).
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S,I>
voidwriteAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, OutputStream os)
static <S,I>
voidwriteAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, Function<I,String> inputTransformer, OutputStream os)
-
-
-
Method Detail
-
writeAutomaton
public static <S,I> void writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, OutputStream os) throws IOException
- Throws:
IOException
-
writeAutomaton
public static <S,I> void writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, Function<I,String> inputTransformer, OutputStream os) throws IOException
- Throws:
IOException
-
-