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 intgetMaxNumber()TgetNode(int number)intgetNumber(T N)java.util.Iterator<T>iterateNodes(IntSet s)-
Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode
-
-