A D G N T W

A

AggregateDOTVisualizationHelper<N,E> - Class in net.automatalib.serialization.dot

AggregateDOTVisualizationHelper(List<? extends DOTVisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.serialization.dot.AggregateDOTVisualizationHelper

D

DefaultDOTVisualizationHelper<N,E> - Class in net.automatalib.serialization.dot

DefaultDOTVisualizationHelper() - Constructor for class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

DefaultDOTVisualizationHelper(VisualizationHelper<N, ? super E>) - Constructor for class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

DOTSerializationProvider<N,E> - Class in net.automatalib.serialization.dot

DOTVisualizationHelper<N,E> - Interface in net.automatalib.serialization.dot

Extension to the VisualizationHelper interface for DOT specific methods.

G

getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

getInstance() - Static method in class net.automatalib.serialization.dot.DOTSerializationProvider

getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

GraphDOT - Class in net.automatalib.serialization.dot

Methods for rendering a Graph or Automaton in the GraphVIZ DOT format.

N

net.automatalib.serialization.dot - package net.automatalib.serialization.dot

T

toDOTVisualizationHelper(VisualizationHelper<N, E>) - Static method in class net.automatalib.serialization.dot.GraphDOT

toDOTVisualizationHelper(List<VisualizationHelper<N, ? super E>>) - Static method in class net.automatalib.serialization.dot.GraphDOT

W

write(GraphViewable, Appendable) - Static method in class net.automatalib.serialization.dot.GraphDOT

write(Automaton<S, I, T>, Collection<? extends I>, Appendable) - Static method in class net.automatalib.serialization.dot.GraphDOT

Renders an Automaton in the GraphVIZ DOT format.

write(Automaton<S, I, T>, Collection<? extends I>, Appendable, VisualizationHelper<S, ? super TransitionEdge<I, T>>...) - Static method in class net.automatalib.serialization.dot.GraphDOT

Renders an Automaton in the GraphVIZ DOT format.

write(Automaton<S, I, T>, Collection<? extends I>, Appendable, List<VisualizationHelper<S, ? super TransitionEdge<I, T>>>) - Static method in class net.automatalib.serialization.dot.GraphDOT

Renders an Automaton in the GraphVIZ DOT format.

write(Graph<N, E>, Appendable) - Static method in class net.automatalib.serialization.dot.GraphDOT

Renders a Graph in the GraphVIZ DOT format.

write(Graph<N, E>, Appendable, VisualizationHelper<N, ? super E>...) - Static method in class net.automatalib.serialization.dot.GraphDOT

Renders a Graph in the GraphVIZ DOT format.

write(Graph<N, E>, Appendable, List<VisualizationHelper<N, ? super E>>) - Static method in class net.automatalib.serialization.dot.GraphDOT

Renders a Graph in the GraphVIZ DOT format.

writeModel(OutputStream, Graph<N, E>) - Method in class net.automatalib.serialization.dot.DOTSerializationProvider

writePostamble(Appendable) - Method in class net.automatalib.serialization.dot.AggregateDOTVisualizationHelper

writePostamble(Appendable) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

writePostamble(Appendable) - Method in interface net.automatalib.serialization.dot.DOTVisualizationHelper

Called after the node and edge data are written, but before the closing brace.

writePreamble(Appendable) - Method in class net.automatalib.serialization.dot.AggregateDOTVisualizationHelper

writePreamble(Appendable) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper

writePreamble(Appendable) - Method in interface net.automatalib.serialization.dot.DOTVisualizationHelper

Called before the node and edge data are written, but after the opening "digraph {" statement.

A D G N T W