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,
DOTVisualizationHelper<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,
DOTVisualizationHelper<S,? super TransitionEdge<I,T>> helper,
Collection<? extends I> inputAlphabet,
Appendable a,
DOTVisualizationHelper<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,
DOTVisualizationHelper<N,? super E>... additionalHelpers)
Renders a
Graph in the GraphVIZ DOT format. |
static void |
write(GraphViewable gv,
Appendable a) |
static <N,E> void |
writeRaw(Graph<N,E> graph,
Appendable a,
List<DOTVisualizationHelper<N,? super E>> helpers) |
static <N,E> void |
writeRaw(Graph<N,E> graph,
DOTVisualizationHelper<N,? super E> dotHelperOrNull,
Appendable a)
Renders a
Graph in the GraphVIZ DOT format. |
static <N,E> void |
writeRaw(Graph<N,E> graph,
DOTVisualizationHelper<N,? super E> helper,
Appendable a,
DOTVisualizationHelper<N,? super E>... additionalHelpers) |
static <N,E> void |
writeToFileRaw(Graph<N,E> graph,
DefaultDOTVisualizationHelper<N,E> dotHelper,
File file) |
public static void write(GraphViewable gv, Appendable a) throws IOException
IOException
@SafeVarargs public static <N,E> void write(Graph<N,E> graph, Appendable a, DOTVisualizationHelper<N,? super E>... additionalHelpers) 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 <S,I,T> void write(Automaton<S,I,T> automaton, DOTVisualizationHelper<S,? super TransitionEdge<I,T>> helper, Collection<? extends I> inputAlphabet, Appendable a, DOTVisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers) throws IOException
Automaton
in the GraphVIZ DOT format.automaton
- the automaton to render.helper
- the helper to use for renderinginputAlphabet
- the input alphabet to considera
- the appendable to write to.IOException
- if writing to a fails.@SafeVarargs public static <S,I,T> void write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, DOTVisualizationHelper<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 toIOException
- if writing to a fails@SafeVarargs public static <N,E> void writeRaw(Graph<N,E> graph, DOTVisualizationHelper<N,? super E> helper, Appendable a, DOTVisualizationHelper<N,? super E>... additionalHelpers) throws IOException
IOException
public static <N,E> void writeRaw(Graph<N,E> graph, Appendable a, List<DOTVisualizationHelper<N,? super E>> helpers) throws IOException
IOException
public static <N,E> void writeRaw(Graph<N,E> graph, DOTVisualizationHelper<N,? super E> dotHelperOrNull, Appendable a) throws IOException
Graph
in the GraphVIZ DOT format.graph
- the graph to renderdotHelperOrNull
- the helper to use for rendering. Can be null
a
- the appendable to write toIOException
- if writing to a failspublic static <N,E> void writeToFileRaw(Graph<N,E> graph, DefaultDOTVisualizationHelper<N,E> dotHelper, File file) throws IOException
IOException
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 © 2018. All rights reserved.