All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`protected ReachedSet`	`createReachedSet()`	Returns an empty `ReachedSet`.
`protected Waitlist`	`createWaitlist()`	Returns an empty `Waitlist`.
`ReachedSet`	`execute()`	Sets up the `CpaAlgorithm`, runs it, and returns the `ReachedSet` with the result of the analysis.
`AbortOperator`	`getAbortOperator()`	Returns the abort operator.
`CpaT`	`getCpa()`	Returns the CPA.
`abstract java.util.Collection<AbstractStateT>`	`getInitialStates()`	Returns a collection of initial `AbstractState`s.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

protected CpaT extends ConfigurableProgramAnalysis cpa

Modifier and Type	Field	Description
`protected AbortOperator`	`abortOperator`
`protected CpaT`	`cpa`

Class CpaRun<CpaT extends ConfigurableProgramAnalysis,​AbstractStateT extends AbstractState>

Class CpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState>