Module net.automatalib.serialization.taf

Package net.automatalib.serialization.taf.writer

Class TAFWriters

java.lang.Object

net.automatalib.serialization.taf.writer.TAFWriters

public final class TAFWriters
extends Object

Facade for TAF (textual automaton format) writing. This class provides several static methods to access InputModelSerializers for TAF descriptions of DFAs and MealyMachines.

Method Summary

Modifier and Type	Method	Description
static <S,I,T,A extends FiniteAlphabetAutomaton<S,I,T>> InputModelSerializer<I,A>	any()	Returns an InputModelSerializer for writing generic FiniteAlphabetAutomatons.
static <S,I,A extends DFA<S,I>> InputModelSerializer<I,A>	dfa()	Returns an InputModelSerializer for writing DFAs.
static <S,I,T,O,A extends MealyMachine<S,I,T,O>> InputModelSerializer<I,A>	mealy()	Returns an InputModelSerializer for writing MealyMachines.

Methods inherited from class java.lang.Object

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

Method Detail

dfa

public static <S,I,A extends DFA<S,I>> InputModelSerializer<I,A> dfa()

Returns an InputModelSerializer for writing DFAs.

Type Parameters:

S - state type

I - input symbol type

A - (concrete) automaton type

Returns:

an InputModelSerializer for writing DFAs

mealy

public static <S,I,T,O,A extends MealyMachine<S,I,T,O>> InputModelSerializer<I,A> mealy()

Returns an InputModelSerializer for writing MealyMachines.

Type Parameters:

S - state type

I - input symbol type

T - transition type

O - output symbol type

A - (concrete) automaton type

Returns:

an InputModelSerializer for writing MealyMachines

any

public static <S,I,T,A extends FiniteAlphabetAutomaton<S,I,T>> InputModelSerializer<I,A> any()

Returns an InputModelSerializer for writing generic FiniteAlphabetAutomatons. During serialization, the writer checks whether the given automaton is either a DFA or a MealyMachine and delegates to the respective serializers.

Type Parameters:

S - state type

I - input symbol type

T - transition type

A - (concrete) automaton type

Returns:

an InputModelSerializer for writing FiniteAlphabetAutomatons

See Also:

dfa(), mealy()