程序包 proguard.analysis.cpa.interfaces

接口 PrecisionAdjustment

所有已知实现类:

StaticPrecisionAdjustment

public interface PrecisionAdjustment

PrecisionAdjustment allows adjusting the CpaAlgorithm Precision based of the reached abstract states. The evolution and the interpretation of Precision are arbitrary.

方法概要

修饰符和类型	方法	说明
<AbstractStateT extends AbstractState<AbstractStateT>> PrecisionAdjustmentResult<AbstractStateT>	prec(AbstractStateT abstractState, Precision precision, java.util.Collection<? extends AbstractStateT> reachedAbstractStates)	Returns a new AbstractState and Precision for the given reached abstract states.

方法详细资料

prec

<AbstractStateT extends AbstractState<AbstractStateT>> PrecisionAdjustmentResult<AbstractStateT> prec(AbstractStateT abstractState,
                                                                                                      Precision precision,
                                                                                                      java.util.Collection<? extends AbstractStateT> reachedAbstractStates)

Returns a new AbstractState and Precision for the given reached abstract states.