net.automatalib.serialization

Interface SerializationProvider

All Known Implementing Classes:

LearnLibV2Serialization, SAFSerialization, TAFSerialization

public interface SerializationProvider

Method Summary

Modifier and Type	Method and Description
default <I> byte[]	encodeDFA(DFA<?,I> dfa, Alphabet<I> alphabet)
default <I> byte[]	encodeNFA(NFA<?,I> nfa, Alphabet<I> alphabet)
default <I> CompactDFA<I>	readCustomDFA(byte[] buf, Alphabet<I> alphabet)
default <I> CompactDFA<I>	readCustomDFA(File f, Alphabet<I> alphabet)
default <I> CompactDFA<I>	readCustomDFA(InputStream is, Alphabet<I> alphabet)
default <I> CompactDFA<I>	readCustomDFA(URL url, Alphabet<I> alphabet)
default <I> CompactNFA<I>	readCustomNFA(byte[] buf, Alphabet<I> alphabet)
default <I> CompactNFA<I>	readCustomNFA(File f, Alphabet<I> alphabet)
default <I> CompactNFA<I>	readCustomNFA(InputStream is, Alphabet<I> alphabet)
default <I> CompactNFA<I>	readCustomNFA(URL url, Alphabet<I> alphabet)
default CompactDFA<Integer>	readGenericDFA(byte[] buf)
default CompactDFA<Integer>	readGenericDFA(File f)
CompactDFA<Integer>	readGenericDFA(InputStream is)
default CompactDFA<Integer>	readGenericDFA(URL url)
default CompactNFA<Integer>	readGenericNFA(byte[] buf)
default CompactNFA<Integer>	readGenericNFA(File f)
CompactNFA<Integer>	readGenericNFA(InputStream is)
default CompactNFA<Integer>	readGenericNFA(URL url)
default CompactDFA<?>	readNativeDFA(byte[] buf)
default CompactDFA<?>	readNativeDFA(File f)
default CompactDFA<?>	readNativeDFA(InputStream is)
default CompactDFA<?>	readNativeDFA(URL url)
default CompactNFA<?>	readNativeNFA(byte[] buf)
default CompactNFA<?>	readNativeNFA(File f)
default CompactNFA<?>	readNativeNFA(InputStream is)
default CompactNFA<?>	readNativeNFA(URL url)
default <I> void	writeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, File f)
<I> void	writeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, OutputStream os)
default <I> void	writeNFA(NFA<?,I> nfa, Alphabet<I> alphabet, File f)
<I> void	writeNFA(NFA<?,I> nfa, Alphabet<I> alphabet, OutputStream os)

Method Detail

readNativeDFA

default CompactDFA<?> readNativeDFA(URL url)
                             throws IOException

Throws:

IOException

readNativeDFA

default CompactDFA<?> readNativeDFA(File f)
                             throws FileNotFoundException,
                                    IOException

Throws:

FileNotFoundException

IOException

readNativeDFA

default CompactDFA<?> readNativeDFA(byte[] buf)
                             throws IOException

Throws:

IOException

readNativeDFA

default CompactDFA<?> readNativeDFA(InputStream is)
                             throws IOException

Throws:

IOException

readGenericDFA

default CompactDFA<Integer> readGenericDFA(URL url)
                                    throws IOException

Throws:

IOException

readGenericDFA

default CompactDFA<Integer> readGenericDFA(File f)
                                    throws FileNotFoundException,
                                           IOException

Throws:

FileNotFoundException

IOException

readGenericDFA

default CompactDFA<Integer> readGenericDFA(byte[] buf)
                                    throws IOException

Throws:

IOException

readGenericDFA

CompactDFA<Integer> readGenericDFA(InputStream is)
                            throws IOException

Throws:

IOException

readCustomDFA

default <I> CompactDFA<I> readCustomDFA(URL url,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

readCustomDFA

default <I> CompactDFA<I> readCustomDFA(File f,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

readCustomDFA

default <I> CompactDFA<I> readCustomDFA(byte[] buf,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

readCustomDFA

default <I> CompactDFA<I> readCustomDFA(InputStream is,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

writeDFA

<I> void writeDFA(DFA<?,I> dfa,
                  Alphabet<I> alphabet,
                  OutputStream os)
           throws IOException

Throws:

IOException

writeDFA

default <I> void writeDFA(DFA<?,I> dfa,
                          Alphabet<I> alphabet,
                          File f)
                   throws FileNotFoundException,
                          IOException

Throws:

FileNotFoundException

IOException

encodeDFA

default <I> byte[] encodeDFA(DFA<?,I> dfa,
                             Alphabet<I> alphabet)
                      throws IOException

Throws:

IOException

readNativeNFA

default CompactNFA<?> readNativeNFA(URL url)
                             throws IOException

Throws:

IOException

readNativeNFA

default CompactNFA<?> readNativeNFA(File f)
                             throws FileNotFoundException,
                                    IOException

Throws:

FileNotFoundException

IOException

readNativeNFA

default CompactNFA<?> readNativeNFA(byte[] buf)
                             throws IOException

Throws:

IOException

readNativeNFA

default CompactNFA<?> readNativeNFA(InputStream is)
                             throws IOException

Throws:

IOException

readGenericNFA

default CompactNFA<Integer> readGenericNFA(URL url)
                                    throws IOException

Throws:

IOException

readGenericNFA

default CompactNFA<Integer> readGenericNFA(File f)
                                    throws FileNotFoundException,
                                           IOException

Throws:

FileNotFoundException

IOException

readGenericNFA

default CompactNFA<Integer> readGenericNFA(byte[] buf)
                                    throws IOException

Throws:

IOException

readGenericNFA

CompactNFA<Integer> readGenericNFA(InputStream is)
                            throws IOException

Throws:

IOException

readCustomNFA

default <I> CompactNFA<I> readCustomNFA(URL url,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

readCustomNFA

default <I> CompactNFA<I> readCustomNFA(File f,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

readCustomNFA

default <I> CompactNFA<I> readCustomNFA(byte[] buf,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

readCustomNFA

default <I> CompactNFA<I> readCustomNFA(InputStream is,
                                        Alphabet<I> alphabet)
                                 throws IOException

Throws:

IOException

writeNFA

<I> void writeNFA(NFA<?,I> nfa,
                  Alphabet<I> alphabet,
                  OutputStream os)
           throws IOException

Throws:

IOException

writeNFA

default <I> void writeNFA(NFA<?,I> nfa,
                          Alphabet<I> alphabet,
                          File f)
                   throws FileNotFoundException,
                          IOException

Throws:

FileNotFoundException

IOException

encodeNFA

default <I> byte[] encodeNFA(NFA<?,I> nfa,
                             Alphabet<I> alphabet)
                      throws IOException

Throws:

IOException