Class DemandRefinementPointsTo.FlowsToComputer

java.lang.Object
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.FlowsToComputer
Enclosing class:
DemandRefinementPointsTo

protected class DemandRefinementPointsTo.FlowsToComputer extends DemandRefinementPointsTo.PointsToComputer
used to compute "flows-to sets," i.e., all the pointers that can point to some instance key