Package qilin.pta.toolkits.zipper.flowgraph

Class ZSCCMergedGraph<N>

java.lang.Object

qilin.pta.toolkits.zipper.flowgraph.ZSCCMergedGraph<N>

All Implemented Interfaces:

DirectedGraph<ZMergedNode<N>>

public class ZSCCMergedGraph<N>
extends Object
implements DirectedGraph<ZMergedNode<N>>

Constructor Summary

Constructors

Constructor	Description
ZSCCMergedGraph(DirectedGraph<N> graph)

Method Summary

Modifier and Type	Method	Description
Collection<ZMergedNode<N>>	allNodes()
ZMergedNode<N>	getLstMergedNode(N contentNode)
Collection<ZMergedNode<N>>	predsOf(ZMergedNode<N> node)
Collection<ZMergedNode<N>>	succsOf(ZMergedNode<N> node)

Methods inherited from class java.lang.Object

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

Methods inherited from interface qilin.util.graph.DirectedGraph

computeReachableNodes, computeRootNodes, computeTailNodes

Constructor Details

ZSCCMergedGraph

public ZSCCMergedGraph(DirectedGraph<N> graph)

Method Details

getLstMergedNode

public ZMergedNode<N> getLstMergedNode(N contentNode)

allNodes

public Collection<ZMergedNode<N>> allNodes()

Specified by:

allNodes in interface DirectedGraph<N>

predsOf

public Collection<ZMergedNode<N>> predsOf(ZMergedNode<N> node)

Specified by:

predsOf in interface DirectedGraph<N>

succsOf

public Collection<ZMergedNode<N>> succsOf(ZMergedNode<N> node)

Specified by:

succsOf in interface DirectedGraph<N>