public final class GraphDOT extends Object
Modifier and Type | Method and Description |
---|---|
static <N,E> DOTVisualizationHelper<N,E> |
toDOTVisualizationHelper(List<VisualizationHelper<N,? super E>> helpers) |
static <N,E> DOTVisualizationHelper<N,E> |
toDOTVisualizationHelper(VisualizationHelper<N,E> helper) |
static <S,I,T> void |
write(Automaton<S,I,T> automaton,
Collection<? extends I> inputAlphabet,
Appendable a)
Renders an
Automaton in the GraphVIZ DOT format. |
static <S,I,T> void |
write(Automaton<S,I,T> automaton,
Collection<? extends I> inputAlphabet,
Appendable a,
List<VisualizationHelper<S,? super TransitionEdge<I,T>>> additionalHelpers)
Renders an
Automaton in the GraphVIZ DOT format. |
static <S,I,T> void |
write(Automaton<S,I,T> automaton,
Collection<? extends I> inputAlphabet,
Appendable a,
VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
Renders an
Automaton in the GraphVIZ DOT format. |
static <N,E> void |
write(Graph<N,E> graph,
Appendable a)
Renders a
Graph in the GraphVIZ DOT format. |
static <N,E> void |
write(Graph<N,E> graph,
Appendable a,
List<VisualizationHelper<N,? super E>> additionalHelpers)
Renders a
Graph in the GraphVIZ DOT format. |
static <N,E> void |
write(Graph<N,E> graph,
Appendable a,
VisualizationHelper<N,? super E>... additionalHelpers)
Renders a
Graph in the GraphVIZ DOT format. |
static void |
write(GraphViewable gv,
Appendable a) |
public static void write(GraphViewable gv, Appendable a) throws IOException
IOException
public static <S,I,T> void write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a) throws IOException
Automaton
in the GraphVIZ DOT format.automaton
- the automaton to render.inputAlphabet
- the input alphabet to considera
- the appendable to write toIOException
- if writing to a
fails@SafeVarargs public static <S,I,T> void write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers) throws IOException
Automaton
in the GraphVIZ DOT format.automaton
- the automaton to render.inputAlphabet
- the input alphabet to considera
- the appendable to write toadditionalHelpers
- additional helpers for providing visualization properties.IOException
- if writing to a
failspublic static <S,I,T> void write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, List<VisualizationHelper<S,? super TransitionEdge<I,T>>> additionalHelpers) throws IOException
Automaton
in the GraphVIZ DOT format.automaton
- the automaton to render.inputAlphabet
- the input alphabet to considera
- the appendable to write toadditionalHelpers
- additional helpers for providing visualization properties.IOException
- if writing to a
failspublic static <N,E> void write(Graph<N,E> graph, Appendable a) throws IOException
Graph
in the GraphVIZ DOT format.graph
- the graph to rendera
- the appendable to write to.IOException
- if writing to a
fails.@SafeVarargs public static <N,E> void write(Graph<N,E> graph, Appendable a, VisualizationHelper<N,? super E>... additionalHelpers) throws IOException
Graph
in the GraphVIZ DOT format.graph
- the graph to rendera
- the appendable to write to.additionalHelpers
- additional helpers for providing visualization properties.IOException
- if writing to a
fails.public static <N,E> void write(Graph<N,E> graph, Appendable a, List<VisualizationHelper<N,? super E>> additionalHelpers) throws IOException
Graph
in the GraphVIZ DOT format.graph
- the graph to rendera
- the appendable to write to.additionalHelpers
- additional helpers for providing visualization properties.IOException
- if writing to a
fails.public static <N,E> DOTVisualizationHelper<N,E> toDOTVisualizationHelper(VisualizationHelper<N,E> helper)
public static <N,E> DOTVisualizationHelper<N,E> toDOTVisualizationHelper(List<VisualizationHelper<N,? super E>> helpers)
Copyright © 2020. All rights reserved.