Package net.automatalib.serialization.aut

Class AUTWriter<I>

java.lang.Object

net.automatalib.serialization.aut.AUTWriter<I>

All Implemented Interfaces:

InputModelSerializer<I,SimpleAutomaton<?,I>>, ModelSerializer<InputModelData<I,SimpleAutomaton<?,I>>>

public final class AUTWriter<I>
extends Object
implements InputModelSerializer<I,SimpleAutomaton<?,I>>

A writer that exports automata to the AUT format. For further information about the AUT format, see http://cadp.inria.fr/man/aut.html.

Constructor Summary

Constructors

Constructor	Description
AUTWriter()

Method Summary

Modifier and Type	Method	Description
static <S,I> void	writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, Function<I,String> inputTransformer, OutputStream os)
void	writeModel(OutputStream os, SimpleAutomaton<?,I> model, Alphabet<I> alphabet)

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.serialization.InputModelSerializer

writeModel, writeModel

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Constructor Detail

AUTWriter

public AUTWriter()

Method Detail

writeModel

public void writeModel(OutputStream os,
                       SimpleAutomaton<?,I> model,
                       Alphabet<I> alphabet)
                throws IOException

Specified by:

writeModel in interface InputModelSerializer<I,SimpleAutomaton<?,I>>

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