net.automatalib.serialization.aut

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).

Author:

frohme

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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