net.automatalib.graphs.dot

Class PrettyDOTHelper<N,E>

java.lang.Object

net.automatalib.graphs.dot.EmptyDOTHelper<N,E>

net.automatalib.graphs.dot.PrettyDOTHelper<N,E>

All Implemented Interfaces:

GraphDOTHelper<N,E>

public class PrettyDOTHelper<N,E>
extends EmptyDOTHelper<N,E>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.dot.GraphDOTHelper

GraphDOTHelper.CommonAttrs, GraphDOTHelper.CommonStyles, GraphDOTHelper.EdgeAttrs, GraphDOTHelper.NodeAttrs, GraphDOTHelper.NodeShapes, GraphDOTHelper.NodeStyles

Constructor Summary

Constructors

Constructor and Description
PrettyDOTHelper()

Method Summary

Modifier and Type	Method and Description
void	getGlobalEdgeProperties(Map<String,String> properties)
void	getGlobalNodeProperties(Map<String,String> properties)
boolean	getNodeProperties(N node, Map<String,String> properties)

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

getEdgeProperties, writePostamble, writePreamble

Methods inherited from class java.lang.Object

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

Constructor Detail

PrettyDOTHelper

public PrettyDOTHelper()

Method Detail

getNodeProperties

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

Specified by:

getNodeProperties in interface GraphDOTHelper<N,E>

Overrides:

getNodeProperties in class EmptyDOTHelper<N,E>

getGlobalEdgeProperties

public void getGlobalEdgeProperties(Map<String,String> properties)

Specified by:

getGlobalEdgeProperties in interface GraphDOTHelper<N,E>

Overrides:

getGlobalEdgeProperties in class EmptyDOTHelper<N,E>

getGlobalNodeProperties

public void getGlobalNodeProperties(Map<String,String> properties)

Specified by:

getGlobalNodeProperties in interface GraphDOTHelper<N,E>

Overrides:

getGlobalNodeProperties in class EmptyDOTHelper<N,E>