Interface | Description |
---|---|
DOTVisualizationHelper<N,E> |
Extension to the
VisualizationHelper interface for DOT specific methods. |
Class | Description |
---|---|
AggregateDOTVisualizationHelper<N,E> | |
DefaultDOTVisualizationHelper<N,E> | |
DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>> |
General-purpose DOT parser for
MutableGraph s. |
DOTMutableAutomatonParser<I,SP,TP,A extends MutableAutomaton<?,I,?,SP,TP>> |
General-purpose DOT parser for
MutableAutomaton 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 | Description |
---|---|
ParseException |
This exception is thrown when parse errors are encountered.
|
Copyright © 2020. All rights reserved.