Package com.ibm.wala.util.graph
Interface NumberedNodeManager<T>
-
- All Superinterfaces:
java.lang.Iterable<T>
,NodeManager<T>
- All Known Subinterfaces:
NumberedGraph<T>
,NumberedLabeledGraph<T,I>
- All Known Implementing Classes:
AbstractNumberedGraph
,AbstractNumberedLabeledGraph
,DelegatingNumberedGraph
,DelegatingNumberedNodeManager
,EdgeFilteredNumberedGraph
,ExtensionGraph
,InvertedNumberedGraph
,SlowNumberedNodeManager
,SlowSparseNumberedGraph
,SlowSparseNumberedLabeledGraph
,SparseNumberedGraph
public interface NumberedNodeManager<T> extends NodeManager<T>
An object which tracks nodes with numbers.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
getMaxNumber()
T
getNode(int number)
int
getNumber(T N)
java.util.Iterator<T>
iterateNodes(IntSet s)
-
Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode
-
-