Constructor and Description |
---|
GraphDOT() |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> void |
write(Automaton<S,I,T> automaton,
Collection<? extends I> inputAlphabet,
Appendable a,
GraphDOTHelper<S,? super Pair<I,T>>... additionalHelpers)
Renders an
Automaton in the GraphVIZ DOT format. |
static <S,I,T> void |
write(Automaton<S,I,T> automaton,
GraphDOTHelper<S,? super Pair<I,T>> helper,
Collection<? extends I> inputAlphabet,
Appendable a,
GraphDOTHelper<S,? super Pair<I,T>>... additionalHelpers)
Renders an
Automaton in the GraphVIZ DOT format. |
static <S,I,T> void |
write(DOTPlottableAutomaton<S,I,T> automaton,
Appendable a,
GraphDOTHelper<S,? super Pair<I,T>>... additionalHelpers) |
static <N,E> void |
write(DOTPlottableGraph<N,E> graph,
Appendable a,
GraphDOTHelper<N,? super E>... additionalHelpers)
Renders a
DOTPlottableGraph in the GraphVIZ DOT format. |
static <N,E> void |
write(Graph<N,E> graph,
Appendable a,
GraphDOTHelper<N,? super E>... additionalHelpers)
Renders a
Graph in the GraphVIZ DOT format. |
static <N,E> void |
write(Graph<N,E> graph,
Appendable a,
List<GraphDOTHelper<N,? super E>> helpers) |
static <N,E> void |
write(Graph<N,E> graph,
GraphDOTHelper<N,? super E> dotHelper,
Appendable a)
Renders a
Graph in the GraphVIZ DOT format. |
static <N,E> void |
write(Graph<N,E> graph,
GraphDOTHelper<N,? super E> helper,
Appendable a,
GraphDOTHelper<N,? super E>... additionalHelpers) |
static <N,E> void |
writeToFile(Graph<N,E> graph,
GraphDOTHelper<N,E> dotHelper,
File file) |
public GraphDOT()
@SafeVarargs public static <N,E> void write(DOTPlottableGraph<N,E> graph, Appendable a, GraphDOTHelper<N,? super E>... additionalHelpers) throws IOException
DOTPlottableGraph
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, GraphDOTHelper<S,? super Pair<I,T>> helper, Collection<? extends I> inputAlphabet, Appendable a, GraphDOTHelper<S,? super Pair<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, GraphDOTHelper<S,? super Pair<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 <S,I,T> void write(DOTPlottableAutomaton<S,I,T> automaton, Appendable a, GraphDOTHelper<S,? super Pair<I,T>>... additionalHelpers) throws IOException
IOException
@SafeVarargs public static <N,E> void write(Graph<N,E> graph, Appendable a, GraphDOTHelper<N,? super E>... additionalHelpers) throws IOException
Graph
in the GraphVIZ DOT format.graph
- the graph to rendera
- the appendable to write toIOException
- if writing to a fails@SafeVarargs public static <N,E> void write(Graph<N,E> graph, GraphDOTHelper<N,? super E> helper, Appendable a, GraphDOTHelper<N,? super E>... additionalHelpers) throws IOException
IOException
public static <N,E> void write(Graph<N,E> graph, Appendable a, List<GraphDOTHelper<N,? super E>> helpers) throws IOException
IOException
public static <N,E> void write(Graph<N,E> graph, GraphDOTHelper<N,? super E> dotHelper, Appendable a) throws IOException
Graph
in the GraphVIZ DOT format.graph
- the graph to renderdotHelper
- the helper to use for renderinga
- the appendable to write toIOException
- if writing to a failspublic static <N,E> void writeToFile(Graph<N,E> graph, GraphDOTHelper<N,E> dotHelper, File file) throws IOException
IOException
Copyright © 2015. All Rights Reserved.