public class ManualRefinementPolicy extends AbstractRefinementPolicy
Modifier and Type | Class and Description |
---|---|
static class |
ManualRefinementPolicy.Factory |
budgetPerPass, cgRefinePolicy, DEFAULT_NUM_PASSES, fieldRefinePolicy, LONGER_PASS_BUDGET, numPasses
getBudgetForPass, getCallGraphRefinePolicy, getFieldRefinePolicy, getNumPasses, nextPass