Package net.automatalib.serialization.taf.writer

Class TAFWriter

java.lang.Object

net.automatalib.serialization.taf.writer.TAFWriter

public final class TAFWriter
extends Object

This class provides methods to write automata in the TAF format.

Method Summary

Modifier and Type	Method	Description
static <I> void	dfaToString(DFA<?,I> dfa, Collection<? extends I> inputs)
static <I> void	mealyToString(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs)
static <I> void	writeAny(Automaton<?,I,?> automaton, Collection<? extends I> inputs, Appendable out)
static <I> void	writeAny(FiniteAlphabetAutomaton<?,I,?> automaton, Appendable out)
static <I> void	writeDFA(DFA<?,I> dfa, Collection<? extends I> inputs, File out)
static <S,I> void	writeDFA(DFA<S,I> dfa, Collection<? extends I> inputs, Appendable out)
static <I> void	writeMealy(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs, File out)
static <I> void	writeMealy(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs, Appendable out)

Methods inherited from class java.lang.Object

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

Method Detail

writeAny

public static <I> void writeAny(FiniteAlphabetAutomaton<?,I,?> automaton,
                                Appendable out)
                         throws IOException

Throws:

IOException

writeAny

public static <I> void writeAny(Automaton<?,I,?> automaton,
                                Collection<? extends I> inputs,
                                Appendable out)
                         throws IOException

Throws:

IOException

dfaToString

public static <I> void dfaToString(DFA<?,I> dfa,
                                   Collection<? extends I> inputs)

writeDFA

public static <S,I> void writeDFA(DFA<S,I> dfa,
                                        Collection<? extends I> inputs,
                                        Appendable out)
                                 throws IOException

Throws:

IOException

writeDFA

public static <I> void writeDFA(DFA<?,I> dfa,
                                Collection<? extends I> inputs,
                                File out)
                         throws IOException

Throws:

IOException

writeMealy

public static <I> void writeMealy(MealyMachine<?,I,?,?> mealy,
                                  Collection<? extends I> inputs,
                                  File out)
                           throws IOException

Throws:

IOException

writeMealy

public static <I> void writeMealy(MealyMachine<?,I,?,?> mealy,
                                  Collection<? extends I> inputs,
                                  Appendable out)
                           throws IOException

Throws:

IOException

mealyToString

public static <I> void mealyToString(MealyMachine<?,I,?,?> mealy,
                                     Collection<? extends I> inputs)