|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectSplit
public class Split
A split in a dominance chart. A split of a subgraph is induced by the choice of a certain free fragment as the root of a solved form of this subgraph. It also records the weakly connected components into which the subgraph is split by removing the free fragment, and to which hole of the fragment the nodes of each WCC are connected.
Constructor Summary | |
---|---|
Split(String rootFragment)
Creates a split with a given root fragment. |
Method Summary | |
---|---|
void |
addWcc(String hole,
Set<String> wcc)
Adds a weakly connected component to a split representation. |
Set<String> |
getAllDominators()
Returns the set of holes of the root fragment which are connected to any wcc. |
List<Set<String>> |
getAllSubgraphs()
Returns the set of WCCs into which the subgraph is split by removing the root fragment. |
String |
getRootFragment()
Returns the root fragment of this split. |
List<Set<String>> |
getWccs(String hole)
Returns the set of weakly connected components which are connected to the specified hole. |
String |
toString()
|
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Split(String rootFragment)
rootFragment
- the root fragment of this splitMethod Detail |
---|
public void addWcc(String hole, Set<String> wcc)
hole
- the hole of the free fragment to which the wcc is connectedwcc
- a weakly connected component of the subgraphpublic String getRootFragment()
public List<Set<String>> getWccs(String hole)
hole
- a hole of the root fragment
null
if this is not a hole or no wccs
are connected to it.public Set<String> getAllDominators()
public List<Set<String>> getAllSubgraphs()
public String toString()
toString
in class Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |