Module net.automatalib.serialization.taf

Package net.automatalib.serialization.taf.parser

Class TAFParsers

java.lang.Object

net.automatalib.serialization.taf.parser.TAFParsers

public final class TAFParsers
extends Object

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

Method Summary

Modifier and Type	Method	Description
static InputModelDeserializer<String,FiniteAlphabetAutomaton<?,String,?>>	any()	Constructs an InputModelDeserializer that reads either a DFA or a MealyMachine description and writes it into a FiniteAlphabetAutomaton.
static InputModelDeserializer<String,CompactDFA<String>>	dfa()	Constructs an InputModelDeserializer that reads a DFA description and writes it into a CompactDFA.
static <S,A extends MutableDFA<S,String>> InputModelDeserializer<String,A>	dfa(AutomatonCreator<A,String> creator)	Constructs an InputModelDeserializer that reads a DFA description and writes it into a provided MutableDFA.
static InputModelDeserializer<String,CompactMealy<String,String>>	mealy()	Constructs an InputModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.
static <S,T,A extends MutableMealyMachine<S,String,T,String>> InputModelDeserializer<String,A>	mealy(AutomatonCreator<A,String> creator)	Constructs an InputModelDeserializer that reads a MealyMachine description and writes it into a provided MutableMealyMachine.

Methods inherited from class java.lang.Object

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

Method Detail

dfa

public static InputModelDeserializer<String,CompactDFA<String>> dfa()

Constructs an InputModelDeserializer that reads a DFA description and writes it into a CompactDFA. Convenience method for dfa(AutomatonCreator).

Returns:

an InputModelDeserializer that reads a DFA description

See Also:

dfa(AutomatonCreator)

dfa

public static <S,A extends MutableDFA<S,String>> InputModelDeserializer<String,A> dfa(AutomatonCreator<A,String> creator)

Constructs an InputModelDeserializer that reads a DFA description and writes it into a provided MutableDFA.

Type Parameters:

S - state type

A - (concrete) automaton type

Parameters:

creator - the creator to construct the concrete automaton instance

Returns:

an InputModelDeserializer that reads a DFA description

mealy

public static InputModelDeserializer<String,CompactMealy<String,String>> mealy()

Constructs an InputModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy. Convenience method for mealy(AutomatonCreator).

Returns:

an InputModelDeserializer that reads a MealyMachine description

See Also:

mealy(AutomatonCreator)

mealy

public static <S,T,A extends MutableMealyMachine<S,String,T,String>> InputModelDeserializer<String,A> mealy(AutomatonCreator<A,String> creator)

Constructs an InputModelDeserializer that reads a MealyMachine description and writes it into a provided MutableMealyMachine.

Type Parameters:

S - state type

T - transition type

A - (concrete) automaton type

Parameters:

creator - the creator to construct the concrete automaton instance

Returns:

an InputModelDeserializer that reads a MealyMachine description

any

public static InputModelDeserializer<String,FiniteAlphabetAutomaton<?,String,?>> any()

Constructs an InputModelDeserializer that reads either a DFA or a MealyMachine description and writes it into a FiniteAlphabetAutomaton.

Returns:

an InputModelDeserializer that reads either a DFA or a MealyMachine description

See Also:

dfa(), mealy()