net.automatalib.algorithms.graph.scc

Class TarjanSCCVisitor<N,E>

java.lang.Object

net.automatalib.algorithms.graph.scc.TarjanSCCVisitor<N,E>

Type Parameters:

N - node class

E - edge class

All Implemented Interfaces:

GraphTraversalVisitor<N,E,net.automatalib.algorithms.graph.scc.TarjanSCCRecord>

public class TarjanSCCVisitor<N,E>
extends Object
implements GraphTraversalVisitor<N,E,net.automatalib.algorithms.graph.scc.TarjanSCCRecord>

Depth-first traversal visitor realizing Tarjan's algorithm for finding all strongly-connected components (SCCs) in a graph.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
TarjanSCCVisitor(Graph<N,E> graph, SCCListener<N> listener) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
void	backtrackEdge(N srcNode, net.automatalib.algorithms.graph.scc.TarjanSCCRecord srcData, E edge, N tgtNode, net.automatalib.algorithms.graph.scc.TarjanSCCRecord tgtData)
void	finishExploration(N node, net.automatalib.algorithms.graph.scc.TarjanSCCRecord data)
boolean	hasVisited(N node)
GraphTraversalAction	processEdge(N srcNode, net.automatalib.algorithms.graph.scc.TarjanSCCRecord srcData, E edge, N tgtNode, Holder<net.automatalib.algorithms.graph.scc.TarjanSCCRecord> dataHolder)
GraphTraversalAction	processInitial(N initialNode, Holder<net.automatalib.algorithms.graph.scc.TarjanSCCRecord> outData)
boolean	startExploration(N node, net.automatalib.algorithms.graph.scc.TarjanSCCRecord data)

Methods inherited from class java.lang.Object

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

Constructor Detail

TarjanSCCVisitor

public TarjanSCCVisitor(Graph<N,E> graph,
                SCCListener<N> listener)

Constructor.

Parameters:

graph - the graph

listener - the SCC listener to use, may not be null

Method Detail

processInitial

public GraphTraversalAction processInitial(N initialNode,
                                  Holder<net.automatalib.algorithms.graph.scc.TarjanSCCRecord> outData)

Specified by:

processInitial in interface GraphTraversalVisitor<N,E,net.automatalib.algorithms.graph.scc.TarjanSCCRecord>

startExploration

public boolean startExploration(N node,
                       net.automatalib.algorithms.graph.scc.TarjanSCCRecord data)

Specified by:

startExploration in interface GraphTraversalVisitor<N,E,net.automatalib.algorithms.graph.scc.TarjanSCCRecord>

finishExploration

public void finishExploration(N node,
                     net.automatalib.algorithms.graph.scc.TarjanSCCRecord data)

Specified by:

finishExploration in interface GraphTraversalVisitor<N,E,net.automatalib.algorithms.graph.scc.TarjanSCCRecord>

processEdge

public GraphTraversalAction processEdge(N srcNode,
                               net.automatalib.algorithms.graph.scc.TarjanSCCRecord srcData,
                               E edge,
                               N tgtNode,
                               Holder<net.automatalib.algorithms.graph.scc.TarjanSCCRecord> dataHolder)

Specified by:

processEdge in interface GraphTraversalVisitor<N,E,net.automatalib.algorithms.graph.scc.TarjanSCCRecord>

backtrackEdge

public void backtrackEdge(N srcNode,
                 net.automatalib.algorithms.graph.scc.TarjanSCCRecord srcData,
                 E edge,
                 N tgtNode,
                 net.automatalib.algorithms.graph.scc.TarjanSCCRecord tgtData)

Specified by:

backtrackEdge in interface GraphTraversalVisitor<N,E,net.automatalib.algorithms.graph.scc.TarjanSCCRecord>

hasVisited

public boolean hasVisited(N node)