Module de.learnlib.datastructure

Package de.learnlib.datastructure.pta.visualization

Class PTAVisualizationHelper<S,I,T,SP,TP,A extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>>

java.lang.Object

net.automatalib.visualization.DefaultVisualizationHelper<S,net.automatalib.automaton.graph.TransitionEdge<I,T>>

net.automatalib.automaton.visualization.AutomatonVisualizationHelper<S,I,T,A>

de.learnlib.datastructure.pta.visualization.PTAVisualizationHelper<S,I,T,SP,TP,A>

All Implemented Interfaces:

net.automatalib.visualization.VisualizationHelper<S,net.automatalib.automaton.graph.TransitionEdge<I,T>>

Direct Known Subclasses:

BlueFringeVisualizationHelper

public class PTAVisualizationHelper<S,I,T,SP,TP,A extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>>
extends net.automatalib.automaton.visualization.AutomatonVisualizationHelper<S,I,T,A>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.visualization.VisualizationHelper

net.automatalib.visualization.VisualizationHelper.CommonAttrs, net.automatalib.visualization.VisualizationHelper.CommonStyles, net.automatalib.visualization.VisualizationHelper.EdgeAttrs, net.automatalib.visualization.VisualizationHelper.EdgeStyles, net.automatalib.visualization.VisualizationHelper.MTSEdgeAttrs, net.automatalib.visualization.VisualizationHelper.NodeAttrs, net.automatalib.visualization.VisualizationHelper.NodeShapes, net.automatalib.visualization.VisualizationHelper.NodeStyles

Field Summary

Fields inherited from class net.automatalib.automaton.visualization.AutomatonVisualizationHelper

automaton

Constructor Summary

Constructors

Constructor	Description
PTAVisualizationHelper(A automaton)

Method Summary

Modifier and Type	Method	Description
boolean	getEdgeProperties(S src, net.automatalib.automaton.graph.TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
boolean	getNodeProperties(S node, Map<String,String> properties)

Methods inherited from class net.automatalib.automaton.visualization.AutomatonVisualizationHelper

initialNodes

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.visualization.VisualizationHelper

getGlobalEdgeProperties, getGlobalNodeProperties

Constructor Detail

PTAVisualizationHelper

public PTAVisualizationHelper(A automaton)

Method Detail

getEdgeProperties

public boolean getEdgeProperties(S src,
                                 net.automatalib.automaton.graph.TransitionEdge<I,T> edge,
                                 S tgt,
                                 Map<String,String> properties)

Specified by:

getEdgeProperties in interface net.automatalib.visualization.VisualizationHelper<S,I>

Overrides:

getEdgeProperties in class net.automatalib.automaton.visualization.AutomatonVisualizationHelper<S,I,T,A extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>>

getNodeProperties

public boolean getNodeProperties(S node,
                                 Map<String,String> properties)

Specified by:

getNodeProperties in interface net.automatalib.visualization.VisualizationHelper<S,I>

Overrides:

getNodeProperties in class net.automatalib.visualization.DefaultVisualizationHelper<S,net.automatalib.automaton.graph.TransitionEdge<I,T>>