net.automatalib.visualization

Class Visualization

java.lang.Object

net.automatalib.visualization.Visualization

public final class Visualization
extends Object

Method Summary

Modifier and Type	Method and Description
static <S,I,T> void	visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal, Map<String,String> options, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static <S,I,T> void	visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static <S,I,T> void	visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static <N,E> void	visualize(Graph<N,E> graph, boolean modal, Map<String,String> options, VisualizationHelper<N,? super E>... additionalHelpers)
static <N,E> void	visualize(Graph<N,E> graph, boolean modal, VisualizationHelper<N,? super E>... additionalHelpers)
static <N,E> void	visualize(Graph<N,E> graph, VisualizationHelper<N,? super E>... additionalHelpers)
static void	visualize(GraphViewable gv)
static void	visualize(GraphViewable gv, boolean modal)
static void	visualize(GraphViewable gv, boolean modal, Map<String,String> options)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

visualize

@SafeVarargs
public static <N,E> void visualize(Graph<N,E> graph,
                                                VisualizationHelper<N,? super E>... additionalHelpers)

visualize

@SafeVarargs
public static <N,E> void visualize(Graph<N,E> graph,
                                                boolean modal,
                                                VisualizationHelper<N,? super E>... additionalHelpers)

visualize

@SafeVarargs
public static <N,E> void visualize(Graph<N,E> graph,
                                                boolean modal,
                                                Map<String,String> options,
                                                VisualizationHelper<N,? super E>... additionalHelpers)

visualize

public static void visualize(GraphViewable gv)

visualize

public static void visualize(GraphViewable gv,
                             boolean modal)

visualize

public static void visualize(GraphViewable gv,
                             boolean modal,
                             Map<String,String> options)

visualize

@SafeVarargs
public static <S,I,T> void visualize(Automaton<S,I,T> graph,
                                                  Collection<? extends I> inputs,
                                                  VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)

visualize

@SafeVarargs
public static <S,I,T> void visualize(Automaton<S,I,T> graph,
                                                  Collection<? extends I> inputs,
                                                  boolean modal,
                                                  VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)

visualize

@SafeVarargs
public static <S,I,T> void visualize(Automaton<S,I,T> graph,
                                                  Collection<? extends I> inputs,
                                                  boolean modal,
                                                  Map<String,String> options,
                                                  VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)