Class AUTParsers
- java.lang.Object
-
- net.automatalib.serialization.aut.AUTParsers
-
public final class AUTParsers extends Object
Facade for AUT parsing. For further information about the AUT format, see http://cadp.inria.fr/man/aut.html.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static InputModelDeserializer<String,CompactSimpleAutomaton<String>>parser()Constructs aInputModelDeserializerthat reads an automaton description and writes it into aSimpleAutomaton.static <I> InputModelDeserializer<I,CompactSimpleAutomaton<I>>parser(Function<String,I> inputTransformer)Constructs aInputModelDeserializerthat reads an automaton description and writes it into aSimpleAutomaton.static <I,T,A extends MutableAutomaton<Integer,I,T,?,?>>
InputModelDeserializer<I,A>parser(Function<String,I> inputTransformer, AutomatonCreator<A,I> creator)Constructs aInputModelDeserializerthat reads an automaton description and writes it into a givenMutableAutomaton.
-
-
-
Method Detail
-
parser
public static InputModelDeserializer<String,CompactSimpleAutomaton<String>> parser()
Constructs aInputModelDeserializerthat reads an automaton description and writes it into aSimpleAutomaton.- Returns:
- a
InputModelDeserializerthat reads an automaton description
-
parser
public static <I> InputModelDeserializer<I,CompactSimpleAutomaton<I>> parser(Function<String,I> inputTransformer)
Constructs aInputModelDeserializerthat reads an automaton description and writes it into aSimpleAutomaton.- Type Parameters:
I- input symbol type- Parameters:
inputTransformer- the transformer of String representatives to alphabet symbols- Returns:
- a
InputModelDeserializerthat reads an automaton description
-
parser
public static <I,T,A extends MutableAutomaton<Integer,I,T,?,?>> InputModelDeserializer<I,A> parser(Function<String,I> inputTransformer, AutomatonCreator<A,I> creator)
Constructs aInputModelDeserializerthat reads an automaton description and writes it into a givenMutableAutomaton.- Type Parameters:
I- input symbol typeT- transition typeA- (concrete) automaton type- Parameters:
inputTransformer- the transformer of String representatives to alphabet symbolscreator- the creator to construct the concrete automaton instance- Returns:
- a
InputModelDeserializerthat reads an automaton description
-
-