Module net.automatalib.serialization.saf

Package net.automatalib.serialization.saf

Class SAFWriters

java.lang.Object

net.automatalib.serialization.saf.SAFWriters

public final class SAFWriters
extends Object

Facade for SAF (simple automaton format) parsing. This class provides several static methods to access InputModelSerializers for SAF descriptions of DFAs, MealyMachines, and NFAs.

Method Summary

Modifier and Type	Method	Description
static <I, A extends DFA<?, I>> InputModelSerializer<I,A>	dfa()	Returns an InputModelSerializer for writing DFAs.
static <I, O, A extends MealyMachine<?, I, ?, O>> InputModelSerializer<I,A>	mealy(SinglePropertyEncoder<O> encoder)	Returns an InputModelSerializer for writing MealyMachines.
static <I, A extends NFA<?, I>> InputModelSerializer<I,A>	nfa()	Returns an InputModelSerializer for writing NFAs.

Methods inherited from class java.lang.Object

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

Method Details

dfa

public static <I,
A extends DFA<?,
I>>
InputModelSerializer<I,A> dfa()

Returns an InputModelSerializer for writing DFAs.

Type Parameters:

I - input symbol type

A - (concrete) automaton type

Returns:

an InputModelSerializer for writing DFAs

mealy

public static <I,
O,
A extends MealyMachine<?,
I,
?,
O>>
InputModelSerializer<I,A> mealy(SinglePropertyEncoder<O> encoder)

Returns an InputModelSerializer for writing MealyMachines.

Type Parameters:

I - input symbol type

O - output symbol type

A - (concrete) automaton type

Parameters:

encoder - the encoder for the transition properties

Returns:

an InputModelSerializer for writing MealyMachines

nfa

public static <I,
A extends NFA<?,
I>>
InputModelSerializer<I,A> nfa()

Returns an InputModelSerializer for writing NFAs.

Type Parameters:

I - input symbol type

A - (concrete) automaton type

Returns:

an InputModelSerializer for writing NFAs