Class DelegatingNumberedNodeManager<T extends INodeWithNumber>

java.lang.Object
com.ibm.wala.util.graph.impl.DelegatingNumberedNodeManager<T>
All Implemented Interfaces:
NodeManager<T>, NumberedNodeManager<T>, Iterable<T>

public class DelegatingNumberedNodeManager<T extends INodeWithNumber> extends Object implements NumberedNodeManager<T>
Basic implementation of a numbered graph -- this implementation relies on nodes that carry numbers and edges.

The management of node numbers is a bit fragile, but designed this way for efficiency. Use this class with care.