Package net.automatalib.serialization.dot
-
Interface Summary Interface Description DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>> A specialization of theInputModelDeserializer
that returns aDOTInputModelData
object which holds additional information about the state labels of the de-serialized automaton.DOTVisualizationHelper<N,E> Extension to theVisualizationHelper
interface for DOT specific methods. -
Class Summary Class Description AggregateDOTVisualizationHelper<N,E> DefaultDOTVisualizationHelper<N,E> DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>> General-purpose DOT parser forMutableGraph
s.DOTInputModelData<S,I,M extends SimpleTS<S,I>> A utility data class, that extendsInputModelData
by labeling information of the model's states.DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>> General-purpose DOT parser forMutableAutomaton
s.DOTParsers An aggregation of factory methods for obtaining DOT parsers for several types of automata / graphs.DOTSerializationProvider<N,E> Edge A utility class to aggregate information of an edge of a DOT graph.GraphDOT Node A utility class to aggregate information of a node of a DOT graph. -
Exception Summary Exception Description ParseException This exception is thrown when parse errors are encountered.