Class GraphReachability<T,S>

java.lang.Object
com.ibm.wala.util.graph.GraphReachability<T,S>

public class GraphReachability<T,S> extends Object
A dataflow system that computes, for each graph node, the set of "interesting" nodes that are reachable