Package net.automatalib.visualization
Class Visualization
- java.lang.Object
-
- net.automatalib.visualization.Visualization
-
public final class Visualization extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S,I,T>
voidvisualize(Automaton<S,I,T> graph, Collection<? extends I> inputs)
static <S,I,T>
voidvisualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal)
static <S,I,T>
voidvisualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal, Map<String,String> options)
static <S,I,T>
voidvisualize(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>
voidvisualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static <S,I,T>
voidvisualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static void
visualize(GraphViewable gv)
static void
visualize(GraphViewable gv, boolean modal)
static void
visualize(GraphViewable gv, boolean modal, Map<String,String> options)
static <N,E>
voidvisualize(Graph<N,E> graph)
static <N,E>
voidvisualize(Graph<N,E> graph, boolean modal)
static <N,E>
voidvisualize(Graph<N,E> graph, boolean modal, Map<String,String> options)
static <N,E>
voidvisualize(Graph<N,E> graph, boolean modal, Map<String,String> options, VisualizationHelper<N,? super E>... additionalHelpers)
static <N,E>
voidvisualize(Graph<N,E> graph, boolean modal, VisualizationHelper<N,? super E>... additionalHelpers)
static <N,E>
voidvisualize(Graph<N,E> graph, VisualizationHelper<N,? super E>... additionalHelpers)
-
-
-
Method Detail
-
visualize
public static <N,E> void visualize(Graph<N,E> graph)
-
visualize
@SafeVarargs public static <N,E> void visualize(Graph<N,E> graph, VisualizationHelper<N,? super E>... additionalHelpers)
-
visualize
public static <N,E> void visualize(Graph<N,E> graph, boolean modal)
-
visualize
@SafeVarargs public static <N,E> void visualize(Graph<N,E> graph, boolean modal, VisualizationHelper<N,? super E>... additionalHelpers)
-
visualize
public static <N,E> void visualize(Graph<N,E> graph, boolean modal, Map<String,String> options)
-
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
public static <S,I,T> void visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs)
-
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
public static <S,I,T> void visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal)
-
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
public static <S,I,T> void visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal, Map<String,String> options)
-
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)
-
-