Module de.learnlib.datastructure

Package de.learnlib.datastructure.pta.visualization

Class BlueFringeVisualizationHelper<S extends AbstractBlueFringePTAState<S,SP,TP>,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,Integer,PTATransition<S>,SP,TP,AbstractBlueFringePTA<S,SP,TP>>

de.learnlib.datastructure.pta.visualization.BlueFringeVisualizationHelper<S,SP,TP>

All Implemented Interfaces:

net.automatalib.visualization.VisualizationHelper<S,net.automatalib.automaton.graph.TransitionEdge<Integer,PTATransition<S>>>

public class BlueFringeVisualizationHelper<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
extends PTAVisualizationHelper<S,Integer,PTATransition<S>,SP,TP,AbstractBlueFringePTA<S,SP,TP>>

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
BlueFringeVisualizationHelper(AbstractBlueFringePTA<S,SP,TP> automaton)

Method Summary

Modifier and Type	Method	Description
boolean	getNodeProperties(S node, Map<String,String> properties)

Methods inherited from class de.learnlib.datastructure.pta.visualization.PTAVisualizationHelper

getEdgeProperties

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

BlueFringeVisualizationHelper

public BlueFringeVisualizationHelper(AbstractBlueFringePTA<S,SP,TP> automaton)

Method Detail

getNodeProperties

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

Specified by:

getNodeProperties in interface net.automatalib.visualization.VisualizationHelper<S extends AbstractBlueFringePTAState<S,SP,TP>,SP>

Overrides:

getNodeProperties in class PTAVisualizationHelper<S extends AbstractBlueFringePTAState<S,SP,TP>,Integer,PTATransition<S extends AbstractBlueFringePTAState<S,SP,TP>>,SP,TP,AbstractBlueFringePTA<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>>