Package | Description |
---|---|
net.automatalib.serialization.dot |
Modifier and Type | Class and Description |
---|---|
class |
AggregateDOTVisualizationHelper<N,E> |
class |
DefaultDOTVisualizationHelper<N,E> |
Modifier and Type | Method and Description |
---|---|
static <N,E> DOTVisualizationHelper<N,E> |
GraphDOT.toDOTVisualizationHelper(List<VisualizationHelper<N,? super E>> helpers) |
static <N,E> DOTVisualizationHelper<N,E> |
GraphDOT.toDOTVisualizationHelper(VisualizationHelper<N,E> helper) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> void |
GraphDOT.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 |
GraphDOT.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 <S,I,T> void |
GraphDOT.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 |
GraphDOT.write(Graph<N,E> graph,
Appendable a,
DOTVisualizationHelper<N,? super E>... additionalHelpers)
Renders a
Graph in the GraphVIZ DOT format. |
static <N,E> void |
GraphDOT.writeRaw(Graph<N,E> graph,
DOTVisualizationHelper<N,? super E> dotHelperOrNull,
Appendable a)
Renders a
Graph in the GraphVIZ DOT format. |
static <N,E> void |
GraphDOT.writeRaw(Graph<N,E> graph,
DOTVisualizationHelper<N,? super E> helper,
Appendable a,
DOTVisualizationHelper<N,? super E>... additionalHelpers) |
static <N,E> void |
GraphDOT.writeRaw(Graph<N,E> graph,
DOTVisualizationHelper<N,? super E> helper,
Appendable a,
DOTVisualizationHelper<N,? super E>... additionalHelpers) |
Modifier and Type | Method and Description |
---|---|
static <N,E> void |
GraphDOT.writeRaw(Graph<N,E> graph,
Appendable a,
List<DOTVisualizationHelper<N,? super E>> helpers) |
Constructor and Description |
---|
AggregateDOTVisualizationHelper(List<? extends DOTVisualizationHelper<N,? super E>> visualizationHelpers) |
Copyright © 2018. All rights reserved.