Class ExtensionGraph<T>

java.lang.Object
com.ibm.wala.util.graph.impl.ExtensionGraph<T>
All Implemented Interfaces:
EdgeManager<T>, Graph<T>, NodeManager<T>, NumberedEdgeManager<T>, NumberedGraph<T>, NumberedNodeManager<T>, Iterable<T>

public class ExtensionGraph<T> extends Object implements NumberedGraph<T>