Package proguard.analysis.cpa.interfaces

Interface PrecisionAdjustment

All Known Implementing Classes:

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.

Method Summary

Modifier and Type	Method	Description
<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.

Method Detail

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.