Enum Class DemandRefinementPointsTo.PointsToResult

java.lang.Object
java.lang.Enum<DemandRefinementPointsTo.PointsToResult>
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToResult
All Implemented Interfaces:
Serializable, Comparable<DemandRefinementPointsTo.PointsToResult>, Constable
Enclosing class:
DemandRefinementPointsTo

public static enum DemandRefinementPointsTo.PointsToResult extends Enum<DemandRefinementPointsTo.PointsToResult>
Possible results of a query.
Author:
manu
See Also: