net.automatalib.serialization.dot

Class DOTSerializationProvider<N,E>

java.lang.Object

net.automatalib.serialization.dot.DOTSerializationProvider<N,E>

All Implemented Interfaces:

ModelSerializer<Graph<N,E>>

public final class DOTSerializationProvider<N,E>
extends Object
implements ModelSerializer<Graph<N,E>>

Method Summary

Modifier and Type	Method and Description
static <N,E> DOTSerializationProvider<N,E>	getInstance()
void	writeModel(OutputStream os, Graph<N,E> model)

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Method Detail

getInstance

public static <N,E> DOTSerializationProvider<N,E> getInstance()

writeModel

public void writeModel(OutputStream os,
                       Graph<N,E> model)
                throws IOException

Specified by:

writeModel in interface ModelSerializer<Graph<N,E>>

Throws:

IOException