net.automatalib.examples.graph

Class DFSExample.MyDFSVisitor<N,E>

java.lang.Object

net.automatalib.util.graphs.traversal.BaseDFSVisitor<N,E,Void>

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

All Implemented Interfaces:

DFSVisitor<N,E,Void>

Enclosing class:

DFSExample

public static class DFSExample.MyDFSVisitor<N,E>
extends BaseDFSVisitor<N,E,Void>

Constructor Summary

Constructors

Constructor and Description
DFSExample.MyDFSVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
void	backEdge(N srcNode, Void srcData, E edge, N tgtNode, Void tgtData)
void	crossEdge(N srcNode, Void srcData, E edge, N tgtNode, Void tgtData)
void	explore(N node, Void data)
void	forwardEdge(N srcNode, Void srcData, E edge, N tgtNode, Void tgtData)
Map<N,Integer>	getDfsNumbers()
Map<E,DFSExample.EdgeType>	getEdgeTypes()
Void	treeEdge(N srcNode, Void srcData, E edge, N tgtNode)

Methods inherited from class net.automatalib.util.graphs.traversal.BaseDFSVisitor

backtrackEdge, blackTarget, edge, finish, grayTarget, initialize, nontreeEdge

Methods inherited from class java.lang.Object

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

Constructor Detail

DFSExample.MyDFSVisitor

public DFSExample.MyDFSVisitor()

Method Detail

explore

public void explore(N node,
           Void data)

Specified by:

explore in interface DFSVisitor<N,E,Void>

Overrides:

explore in class BaseDFSVisitor<N,E,Void>

treeEdge

public Void treeEdge(N srcNode,
            Void srcData,
            E edge,
            N tgtNode)

Specified by:

treeEdge in interface DFSVisitor<N,E,Void>

Overrides:

treeEdge in class BaseDFSVisitor<N,E,Void>

backEdge

public void backEdge(N srcNode,
            Void srcData,
            E edge,
            N tgtNode,
            Void tgtData)

Specified by:

backEdge in interface DFSVisitor<N,E,Void>

Overrides:

backEdge in class BaseDFSVisitor<N,E,Void>

crossEdge

public void crossEdge(N srcNode,
             Void srcData,
             E edge,
             N tgtNode,
             Void tgtData)

Specified by:

crossEdge in interface DFSVisitor<N,E,Void>

Overrides:

crossEdge in class BaseDFSVisitor<N,E,Void>

forwardEdge

public void forwardEdge(N srcNode,
               Void srcData,
               E edge,
               N tgtNode,
               Void tgtData)

Specified by:

forwardEdge in interface DFSVisitor<N,E,Void>

Overrides:

forwardEdge in class BaseDFSVisitor<N,E,Void>

getDfsNumbers

public Map<N,Integer> getDfsNumbers()

getEdgeTypes

public Map<E,DFSExample.EdgeType> getEdgeTypes()