Class SlowNumberedNodeManager<T>

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

public class SlowNumberedNodeManager<T> extends Object implements NumberedNodeManager<T>, Serializable
An object which manages node numbers via a mapping.
See Also: