Package net.automatalib.serialization.aut

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

Modifier and Type	Method	Description
static InputModelDeserializer<String,CompactSimpleAutomaton<String>>	parser()	Constructs a InputModelDeserializer that reads an automaton description and writes it into a SimpleAutomaton.
static <I> InputModelDeserializer<I,CompactSimpleAutomaton<I>>	parser(Function<String,I> inputTransformer)	Constructs a InputModelDeserializer that reads an automaton description and writes it into a SimpleAutomaton.
static <I,T,A extends MutableAutomaton<Integer,I,T,?,?>> InputModelDeserializer<I,A>	parser(Function<String,I> inputTransformer, AutomatonCreator<A,I> creator)	Constructs a InputModelDeserializer that reads an automaton description and writes it into a given MutableAutomaton.

Methods inherited from class java.lang.Object

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

Method Detail

parser

public static InputModelDeserializer<String,CompactSimpleAutomaton<String>> parser()

Constructs a InputModelDeserializer that reads an automaton description and writes it into a SimpleAutomaton.

Returns:

a InputModelDeserializer that reads an automaton description

parser

public static <I> InputModelDeserializer<I,CompactSimpleAutomaton<I>> parser(Function<String,I> inputTransformer)

Constructs a InputModelDeserializer that reads an automaton description and writes it into a SimpleAutomaton.

Type Parameters:

I - input symbol type

Parameters:

inputTransformer - the transformer of String representatives to alphabet symbols

Returns:

a InputModelDeserializer that 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 a InputModelDeserializer that reads an automaton description and writes it into a given MutableAutomaton.

Type Parameters:

I - input symbol type

T - transition type

A - (concrete) automaton type

Parameters:

inputTransformer - the transformer of String representatives to alphabet symbols

creator - the creator to construct the concrete automaton instance

Returns:

a InputModelDeserializer that reads an automaton description