proguard.analysis.cpa.interfaces

Interface Algorithm

All Known Implementing Classes:

CpaAlgorithm

public interface Algorithm

This interface wraps the main CPA algorithm parametrized by the ReachedSet, the Waitlist, and the AbortOperator.

Method Summary

Modifier and Type	Method and Description
default void	run(ReachedSet reachedSet, Waitlist waitlist) Launches the algorithm updating the reachedSet and the waitlist.
void	run(ReachedSet reachedSet, Waitlist waitlist, AbortOperator abortOperator) Launches the algorithm updating the reachedSet and the waitlist.

Method Detail

run

void run(ReachedSet reachedSet,
         Waitlist waitlist,
         AbortOperator abortOperator)

Launches the algorithm updating the reachedSet and the waitlist. A proper selection of parameters allows resuming the algorithm from a saved state. The abortOperator determines whether the analysis should end prematurely.

run

default void run(ReachedSet reachedSet,
                 Waitlist waitlist)

Launches the algorithm updating the reachedSet and the waitlist. A proper selection of parameters allows resuming the algorithm from a saved state.