proguard.analysis.cpa.interfaces

Interface PrecisionAdjustment

All Known Implementing Classes:

StaticPrecisionAdjustment

public interface PrecisionAdjustment

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

Method Summary

Modifier and Type	Method and Description
PrecisionAdjustmentResult	prec(AbstractState abstractState, Precision precision, java.util.Collection<? extends AbstractState> reachedAbstractStates) Returns a new AbstractState and Precision for the given reached abstract states.

Method Detail

prec

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

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