| 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 TransitionEdge<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 TransitionEdge<I,T>> helper,
Collection<? extends I> inputAlphabet,
Appendable a,
GraphDOTHelper<S,? super TransitionEdge<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 TransitionEdge<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 TransitionEdge<I,T>> helper, Collection<? extends I> inputAlphabet, Appendable a, GraphDOTHelper<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, GraphDOTHelper<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 <S,I,T> void write(DOTPlottableAutomaton<S,I,T> automaton, Appendable a, GraphDOTHelper<S,? super TransitionEdge<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
IOExceptionpublic static <N,E> void write(Graph<N,E> graph, Appendable a, List<GraphDOTHelper<N,? super E>> helpers) throws IOException
IOExceptionpublic 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
IOExceptionCopyright © 2013. All Rights Reserved.