All Classes

Class	Description
AggregateDOTVisualizationHelper<N,E>
DefaultDOTVisualizationHelper<N,E>
DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>>	General-purpose DOT parser for MutableGraphs.
DOTInputModelData<S,I,M extends SimpleTS<S,I>>	A utility data class, that extends InputModelData by labeling information of the model's states.
DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>>	A specialization of the InputModelDeserializer that returns a DOTInputModelData object which holds additional information about the state labels of the de-serialized automaton.
DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>>	General-purpose DOT parser for MutableAutomatons.
DOTParsers	An aggregation of factory methods for obtaining DOT parsers for several types of automata / graphs.
DOTSerializationProvider<N,E>
DOTVisualizationHelper<N,E>	Extension to the VisualizationHelper interface for DOT specific methods.
Edge	A utility class to aggregate information of an edge of a DOT graph.
GraphDOT	Methods for rendering a Graph or Automaton in the GraphVIZ DOT format.
Node	A utility class to aggregate information of a node of a DOT graph.
ParseException	This exception is thrown when parse errors are encountered.