Algorithm (ProGuardCORE)

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

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	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.