net.automatalib.automata.dot

Class DOTHelperMealy<S,I,T,O>

java.lang.Object

net.automatalib.graphs.dot.DefaultDOTHelper<S,TransitionEdge<I,T>>

net.automatalib.automata.dot.DefaultDOTHelperAutomaton<S,I,T,TransitionOutputAutomaton<S,I,T,O>>

net.automatalib.automata.dot.DOTHelperMealy<S,I,T,O>

All Implemented Interfaces:

GraphDOTHelper<S,TransitionEdge<I,T>>

public class DOTHelperMealy<S,I,T,O>
extends DefaultDOTHelperAutomaton<S,I,T,TransitionOutputAutomaton<S,I,T,O>>

Field Summary

Fields inherited from class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

automaton

Fields inherited from class net.automatalib.graphs.dot.DefaultDOTHelper

START_PREFIX

Fields inherited from interface net.automatalib.graphs.dot.GraphDOTHelper

LABEL, SHAPE

Constructor Summary

Constructors

Constructor and Description
DOTHelperMealy(TransitionOutputAutomaton<S,I,T,O> automaton)

Method Summary

Methods

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.

Methods inherited from class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

initialNodes

Methods inherited from class net.automatalib.graphs.dot.DefaultDOTHelper

getInstance, getNodeProperties, writePostamble, writePreamble

Methods inherited from class java.lang.Object

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

Constructor Detail

DOTHelperMealy

public DOTHelperMealy(TransitionOutputAutomaton<S,I,T,O> automaton)

Method Detail

getEdgeProperties

public boolean getEdgeProperties(S src,
                        TransitionEdge<I,T> edge,
                        S tgt,
                        Map<String,String> properties)

Description copied from interface: GraphDOTHelper

Retrieves the GraphVIZ properties for rendering a single edge. Additionally, the return value allows to control whether or not to omit this edge from rendering. If false is returned, the edge will not be rendered. Consequently, any modifications to the properties map will have no effect. 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.

Specified by:

getEdgeProperties in interface GraphDOTHelper<S,TransitionEdge<I,T>>

Overrides:

getEdgeProperties in class DefaultDOTHelperAutomaton<S,I,T,TransitionOutputAutomaton<S,I,T,O>>

edge - the edge to be rendered

properties - the property map

Returns:

whether or not this edge should be rendered