public class TAFWriter extends Object
Modifier and Type | Method and 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,
Appendable out) |
static <I> void |
writeMealy(MealyMachine<?,I,?,?> mealy,
Collection<? extends I> inputs,
File out) |
public static <I> void writeAny(FiniteAlphabetAutomaton<?,I,?> automaton, Appendable out) throws IOException
IOException
public static <I> void writeAny(Automaton<?,I,?> automaton, Collection<? extends I> inputs, Appendable out) throws IOException
IOException
public static <S,I> void writeDFA(DFA<S,I> dfa, Collection<? extends I> inputs, Appendable out) throws IOException
IOException
public static <I> void writeMealy(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs, Appendable out) throws IOException
IOException
public static <I> void dfaToString(DFA<?,I> dfa, Collection<? extends I> inputs)
public static <I> void writeDFA(DFA<?,I> dfa, Collection<? extends I> inputs, File out) throws IOException
IOException
public static <I> void writeMealy(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs, File out) throws IOException
IOException
public static <I> void mealyToString(MealyMachine<?,I,?,?> mealy, Collection<? extends I> inputs)
Copyright © 2015. All rights reserved.