net.automatalib.examples.graph

Class DFSExample.DFSResultDOTHelper<N,E>

java.lang.Object

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

net.automatalib.examples.graph.DFSExample.DFSResultDOTHelper<N,E>

All Implemented Interfaces:

GraphDOTHelper<N,E>

Enclosing class:

DFSExample

public static class DFSExample.DFSResultDOTHelper<N,E>
extends EmptyDOTHelper<N,E>

Field Summary

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

LABEL, SHAPE

Constructor Summary

Constructors

Constructor and Description
DFSExample.DFSResultDOTHelper(DFSExample.MyDFSVisitor<N,E> vis)
DFSExample.DFSResultDOTHelper(Map<N,Integer> dfsNumbers, Map<E,DFSExample.EdgeType> edgeTypes)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	getEdgeProperties(N src, E edge, N tgt, Map<String,String> properties)
boolean	getNodeProperties(N node, Map<String,String> properties)

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

writePostamble, writePreamble

Methods inherited from class java.lang.Object

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

Constructor Detail

DFSExample.DFSResultDOTHelper

public DFSExample.DFSResultDOTHelper(Map<N,Integer> dfsNumbers,
                             Map<E,DFSExample.EdgeType> edgeTypes)

DFSExample.DFSResultDOTHelper

public DFSExample.DFSResultDOTHelper(DFSExample.MyDFSVisitor<N,E> vis)

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>

getEdgeProperties

public boolean getEdgeProperties(N src,
                        E edge,
                        N tgt,
                        Map<String,String> properties)

Specified by:

getEdgeProperties in interface GraphDOTHelper<N,E>

Overrides:

getEdgeProperties in class EmptyDOTHelper<N,E>