Uses of Class
com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy

Packages that use AbstractRefinementPolicy

Package	Description
com.ibm.wala.demandpa.alg.refinepolicy

Uses of AbstractRefinementPolicy in com.ibm.wala.demandpa.alg.refinepolicy

Subclasses of AbstractRefinementPolicy in com.ibm.wala.demandpa.alg.refinepolicy

Modifier and Type	Class and Description
class	ManualRefinementPolicy A refinement policy specified manually with annotations.
class	SinglePassRefinementPolicy A policy for performing a single analysis pass, i.e., with no refinement.
class	TunedRefinementPolicy A refinement policy that iteratively adds more types to refine, based on which type was encountered first in each analysis pass.