public class SCCMergedGraph<N> extends Object implements DirectedGraph<MergedNode<N>>
| Constructor and Description |
|---|
SCCMergedGraph(DirectedGraph<N> graph) |
| Modifier and Type | Method and Description |
|---|---|
Collection<MergedNode<N>> |
allNodes() |
MergedNode<N> |
getMergedNode(N contentNode) |
Collection<MergedNode<N>> |
predsOf(MergedNode<N> node) |
Collection<MergedNode<N>> |
succsOf(MergedNode<N> node) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcomputeReachableNodes, computeRootNodes, computeTailNodespublic SCCMergedGraph(DirectedGraph<N> graph)
public MergedNode<N> getMergedNode(N contentNode)
public Collection<MergedNode<N>> allNodes()
allNodes in interface DirectedGraph<MergedNode<N>>public Collection<MergedNode<N>> predsOf(MergedNode<N> node)
predsOf in interface DirectedGraph<MergedNode<N>>public Collection<MergedNode<N>> succsOf(MergedNode<N> node)
succsOf in interface DirectedGraph<MergedNode<N>>Copyright © 2024 Soot OSS. All rights reserved.