Package com.ibm.wala.util.graph
Interface NumberedNodeManager<T>
- All Superinterfaces:
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
An object which tracks nodes with numbers.
-
Method Summary
Methods inherited from interface java.lang.Iterable
forEach, spliterator
Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode
-
Method Details
-
getNumber
-
getNode
-
getMaxNumber
int getMaxNumber() -
iterateNodes
- Returns:
- iterator of nodes with the numbers in set s
-