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

Class TunedRefinementPolicy.Factory

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.TunedRefinementPolicy.Factory

All Implemented Interfaces:

RefinementPolicyFactory

Enclosing class:

TunedRefinementPolicy

public static class TunedRefinementPolicy.Factory
extends Object
implements RefinementPolicyFactory

Constructor Summary

Constructors

Constructor	Description
Factory(IClassHierarchy cha)

Method Summary

Modifier and Type	Method	Description
RefinementPolicy	make()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Factory

public Factory(IClassHierarchy cha)

Method Details

make

public RefinementPolicy make()

Specified by:

make in interface RefinementPolicyFactory