Class ManualRefinementPolicy.Factory
java.lang.Object
com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy.Factory
- All Implemented Interfaces:
RefinementPolicyFactory
- Enclosing class:
ManualRefinementPolicy
public static class ManualRefinementPolicy.Factory
extends Object
implements RefinementPolicyFactory
- Author:
- Manu Sridharan
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
Factory
-
-
Method Details
-
make
- Specified by:
make
in interfaceRefinementPolicyFactory
-