|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface NumberedEdgeManager<T>
Additional functionality for edges in numbered graphs
| Method Summary | |
|---|---|
IntSet |
getPredNodeNumbers(T node)
|
IntSet |
getSuccNodeNumbers(T node)
|
| Methods inherited from interface com.ibm.wala.util.graph.EdgeManager |
|---|
addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges |
| Method Detail |
|---|
IntSet getSuccNodeNumbers(T node)
node -
IntSet getPredNodeNumbers(T node)
node -
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||