public class MealyVisualizationHelper<S,I,T,O> extends AutomatonVisualizationHelper<S,I,T,TransitionOutputAutomaton<S,I,T,O>>
VisualizationHelper.CommonAttrs, VisualizationHelper.CommonStyles, VisualizationHelper.EdgeAttrs, VisualizationHelper.EdgeStyles, VisualizationHelper.NodeAttrs, VisualizationHelper.NodeShapes, VisualizationHelper.NodeStyles
automaton
Constructor and Description |
---|
MealyVisualizationHelper(TransitionOutputAutomaton<S,I,T,O> automaton) |
Modifier and Type | Method and Description |
---|---|
boolean |
getEdgeProperties(S src,
TransitionEdge<I,T> edge,
S tgt,
Map<String,String> properties)
Retrieves the properties for rendering a single edge.
|
initialNodes
getNodeProperties
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getGlobalEdgeProperties, getGlobalNodeProperties
public MealyVisualizationHelper(TransitionOutputAutomaton<S,I,T,O> automaton)
public boolean getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
VisualizationHelper
The properties are stored in the Map
argument. Note that if an implementation of a base class is
overridden, it is probably a good idea to call super.getEdgeProperties(node, properties); at the
beginning of the method.
getEdgeProperties
in interface VisualizationHelper<S,TransitionEdge<I,T>>
getEdgeProperties
in class AutomatonVisualizationHelper<S,I,T,TransitionOutputAutomaton<S,I,T,O>>
edge
- the edge to be renderedproperties
- the property mapCopyright © 2018. All rights reserved.