public class DOTHelperMealy<S,I,T,O> extends DefaultDOTHelperAutomaton<S,I,T,TransitionOutputAutomaton<S,I,T,O>>
GraphDOTHelper.CommonAttrs, GraphDOTHelper.CommonStyles, GraphDOTHelper.EdgeAttrs, GraphDOTHelper.NodeAttrs, GraphDOTHelper.NodeShapes, GraphDOTHelper.NodeStyles
automaton
START_PREFIX
Constructor and Description |
---|
DOTHelperMealy(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 GraphVIZ properties for rendering a single edge.
|
initialNodes
getNodeProperties, writePostamble, writePreamble
getGlobalEdgeProperties, getGlobalNodeProperties
public DOTHelperMealy(TransitionOutputAutomaton<S,I,T,O> automaton)
public boolean getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
GraphDOTHelper
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 GraphDOTHelper<S,TransitionEdge<I,T>>
getEdgeProperties
in class DefaultDOTHelperAutomaton<S,I,T,TransitionOutputAutomaton<S,I,T,O>>
edge
- the edge to be renderedproperties
- the property mapCopyright © 2015. All rights reserved.