Uses of Interface
net.automatalib.visualization.VisualizationHelper

Packages that use VisualizationHelper

Package	Description
net.automatalib.automaton.fsa
net.automatalib.automaton.graph
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.automaton.visualization
net.automatalib.automaton.vpa
net.automatalib.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.ads
net.automatalib.graph.visualization
net.automatalib.incremental.dfa
net.automatalib.incremental.mealy
net.automatalib.modelchecker.m3c.visualization
net.automatalib.serialization.dot
net.automatalib.ts.modal
net.automatalib.visualization	This package contains several approaches for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.visualization.dot
net.automatalib.visualization.helper
net.automatalib.visualization.jung

Uses of VisualizationHelper in net.automatalib.automaton.fsa

Methods in net.automatalib.automaton.fsa that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<S,TransitionEdge<I,S>>	FiniteStateAcceptor.FSAGraphView.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.automaton.graph

Methods in net.automatalib.automaton.graph that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<S,TransitionEdge<I,T>>	AutomatonGraphView.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.automaton.procedural

Methods in net.automatalib.automaton.procedural that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<Pair<I,S>,Triple<I,I,S>>	ProceduralGraphView.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.automaton.transducer

Methods in net.automatalib.automaton.transducer that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<S,TransitionEdge<I,T>>	MealyMachine.MealyGraphView.getVisualizationHelper()
VisualizationHelper<S,TransitionEdge<I,T>>	MooreMachine.MooreGraphView.getVisualizationHelper()
VisualizationHelper<S,TransitionEdge<I,T>>	SubsequentialTransducer.SSTGraphView.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.automaton.visualization

Classes in net.automatalib.automaton.visualization that implement VisualizationHelper

Modifier and Type	Class	Description
class	AutomatonVisualizationHelper<S,I,T,A extends Automaton<S,I,T>>
class	FSAVisualizationHelper<S,I>
class	MealyVisualizationHelper<S,I,T,O>
class	MooreVisualizationHelper<S,I,T,O>
class	MTSVisualizationHelper<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>
class	ProceduralVisualizationHelper<S,I>	Default VisualizationHelper for procedural systems.
class	SSTVisualizationHelper<S,I,T,O>

Uses of VisualizationHelper in net.automatalib.automaton.vpa

Methods in net.automatalib.automaton.vpa that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<L,SEVPAGraphView.SevpaViewEdge<L,I>>	SEVPAGraphView.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.brics

Methods in net.automatalib.brics that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<State,Transition>	AbstractBricsAutomaton.GraphView.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.graph

Methods in net.automatalib.graph that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<Pair<L,N>,Pair<L,E>>	CFMPSGraphView.getVisualizationHelper()
default VisualizationHelper<N,E>	Graph.getVisualizationHelper()
default VisualizationHelper<N,E>	ProceduralModalProcessGraph.getVisualizationHelper()
default VisualizationHelper<N,?>	SimpleGraph.getVisualizationHelper()	Returns the VisualizationHelper that contains information for displaying this graph.

Uses of VisualizationHelper in net.automatalib.graph.ads

Methods in net.automatalib.graph.ads that return VisualizationHelper

Modifier and Type	Method	Description
default VisualizationHelper<N,N>	RecursiveADSNode.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.graph.visualization

Classes in net.automatalib.graph.visualization that implement VisualizationHelper

Modifier and Type	Class	Description
class	CFMPSVisualizationHelper<N,L,E>
class	PMPGVisualizationHelper<N,E,AP>

Uses of VisualizationHelper in net.automatalib.incremental.dfa

Classes in net.automatalib.incremental.dfa that implement VisualizationHelper

Modifier and Type	Class	Description
class	AbstractVisualizationHelper<S,I,T,A extends Automaton<S,I,T>>	Abstract visualization helper for IncrementalDFABuilders.

Uses of VisualizationHelper in net.automatalib.incremental.mealy

Classes in net.automatalib.incremental.mealy that implement VisualizationHelper

Modifier and Type	Class	Description
class	VisualizationHelper<S,I,T,O>	A utility class for rendering IncrementalMealyBuilders.

Uses of VisualizationHelper in net.automatalib.modelchecker.m3c.visualization

Classes in net.automatalib.modelchecker.m3c.visualization that implement VisualizationHelper

Modifier and Type	Class	Description
class	ColorVisualizationHelper	A VisualizationHelper for WitnessTrees that emphasizes nodes and edges of the witness and de-emphasizes the remaining ones.
class	EdgeVisualizationHelper	A VisualizationHelper for WitnessTrees that emphasizes edges of the witness and de-emphasizes the remaining ones.
class	HTMLVisualizationHelper	A VisualizationHelper for WitnessTrees that renders the node labels as an HTML-based table.
class	NodeVisualizationHelper	A VisualizationHelper for WitnessTrees that emphasizes nodes of the witness and de-emphasizes the remaining ones.

Uses of VisualizationHelper in net.automatalib.serialization.dot

Subinterfaces of VisualizationHelper in net.automatalib.serialization.dot

Modifier and Type	Interface	Description
interface	DOTVisualizationHelper<N,E>	Extension to the VisualizationHelper interface for DOT specific methods.

Classes in net.automatalib.serialization.dot that implement VisualizationHelper

Modifier and Type	Class	Description
class	AggregateDOTVisualizationHelper<N,E>
class	DefaultDOTVisualizationHelper<N,E>

Methods in net.automatalib.serialization.dot with parameters of type VisualizationHelper

Modifier and Type	Method	Description
static <N,E> DOTVisualizationHelper<N,E>	GraphDOT.toDOTVisualizationHelper(VisualizationHelper<N,E> helper)
static <S,I,T> void	GraphDOT.write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, VisualizationHelper<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, VisualizationHelper<N,? super E>... additionalHelpers)	Renders a Graph in the GraphVIZ DOT format.

Method parameters in net.automatalib.serialization.dot with type arguments of type VisualizationHelper

Modifier and Type	Method	Description
static <N,E> DOTVisualizationHelper<N,E>	GraphDOT.toDOTVisualizationHelper(List<VisualizationHelper<N,? super E>> helpers)
static <S,I,T> void	GraphDOT.write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, List<VisualizationHelper<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, List<VisualizationHelper<N,? super E>> additionalHelpers)	Renders a Graph in the GraphVIZ DOT format.

Constructors in net.automatalib.serialization.dot with parameters of type VisualizationHelper

Constructor	Description
DefaultDOTVisualizationHelper(@Nullable VisualizationHelper<N,? super E> delegate)

Uses of VisualizationHelper in net.automatalib.ts.modal

Methods in net.automatalib.ts.modal that return VisualizationHelper

Modifier and Type	Method	Description
VisualizationHelper<S,TransitionEdge<I,T>>	ModalTransitionSystem.MTSGraphView.getVisualizationHelper()

Uses of VisualizationHelper in net.automatalib.visualization

Classes in net.automatalib.visualization that implement VisualizationHelper

Modifier and Type	Class	Description
class	DefaultVisualizationHelper<N,E>

Methods in net.automatalib.visualization with parameters of type VisualizationHelper

Modifier and Type	Method	Description
static <S,I,T> void	Visualization.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	Visualization.visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, boolean modal, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static <S,I,T> void	Visualization.visualize(Automaton<S,I,T> graph, Collection<? extends I> inputs, VisualizationHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
static <N,E> void	Visualization.visualize(Graph<N,E> graph, boolean modal, Map<String,String> options, VisualizationHelper<N,? super E>... additionalHelpers)
static <N,E> void	Visualization.visualize(Graph<N,E> graph, boolean modal, VisualizationHelper<N,? super E>... additionalHelpers)
static <N,E> void	Visualization.visualize(Graph<N,E> graph, VisualizationHelper<N,? super E>... additionalHelpers)

Method parameters in net.automatalib.visualization with type arguments of type VisualizationHelper

Modifier and Type	Method	Description
<N,E> void	DummyVP.visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> options)
<N,E> void	VisualizationProvider.visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> visOptions)	Visualizes the given graph by means of executing the visualization implementation.

Uses of VisualizationHelper in net.automatalib.visualization.dot

Method parameters in net.automatalib.visualization.dot with type arguments of type VisualizationHelper

Modifier and Type	Method	Description
<N,E> void	GraphVizBrowserVisualizationProvider.visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> visOptions)
<N,E> void	GraphVizSwingVisualizationProvider.visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> visOptions)

Uses of VisualizationHelper in net.automatalib.visualization.helper

Classes in net.automatalib.visualization.helper that implement VisualizationHelper

Modifier and Type	Class	Description
class	AggregateVisualizationHelper<N,E>
class	PrettyVisualizationHelper<N,E>

Constructors in net.automatalib.visualization.helper with parameters of type VisualizationHelper

Constructor	Description
AggregateVisualizationHelper(VisualizationHelper<N,? super E> rootVisualizer, List<? extends VisualizationHelper<N,? super E>> helpers)

Constructor parameters in net.automatalib.visualization.helper with type arguments of type VisualizationHelper

Constructor	Description
AggregateVisualizationHelper(List<? extends VisualizationHelper<N,? super E>> helpers)
AggregateVisualizationHelper(VisualizationHelper<N,? super E> rootVisualizer, List<? extends VisualizationHelper<N,? super E>> helpers)

Uses of VisualizationHelper in net.automatalib.visualization.jung

Method parameters in net.automatalib.visualization.jung with type arguments of type VisualizationHelper

Modifier and Type	Method	Description
static <N,E> DirectedGraph<JungGraphVisualizationProvider.NodeVisualization,JungGraphVisualizationProvider.EdgeVisualization>	JungGraphVisualizationProvider.createVisualizationGraph(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers)
<N,E> void	JungGraphVisualizationProvider.visualize(Graph<N,E> graph, List<VisualizationHelper<N,? super E>> additionalHelpers, boolean modal, Map<String,String> options)