|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface Graph<T>
Basic interface for a directed graph.
| Method Summary | |
|---|---|
void |
removeNodeAndEdges(T N)
remove a node and all its incident edges |
| Methods inherited from interface com.ibm.wala.util.graph.NodeManager |
|---|
addNode, containsNode, getNumberOfNodes, iterator, removeNode |
| Methods inherited from interface com.ibm.wala.util.graph.EdgeManager |
|---|
addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges |
| Method Detail |
|---|
void removeNodeAndEdges(T N)
throws java.lang.UnsupportedOperationException
java.lang.UnsupportedOperationException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||