Class ManualRefinementPolicy

java.lang.Object
com.ibm.wala.demandpa.alg.refinepolicy.AbstractRefinementPolicy
com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy
All Implemented Interfaces:
RefinementPolicy

public class ManualRefinementPolicy extends AbstractRefinementPolicy
A refinement policy specified manually with annotations.
Author:
Manu Sridharan