StopOperator (ProGuardCORE)

All Known Implementing Classes:

StopAlwaysOperator, StopContainedOperator, StopJoinOperator, StopNeverOperator, StopSepOperator
```
public interface StopOperator
```
The StopOperator decides if Algorithm should stop.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`stop(AbstractState abstractState, java.util.Collection<? extends AbstractState> reachedAbstractStates, Precision precision)`	The operator may decide based on the (generalized under the given `precision`) convergence.

- Method Detail
  - stop
```
boolean stop(AbstractState abstractState,
             java.util.Collection<? extends AbstractState> reachedAbstractStates,
             Precision precision)
```
    The operator may decide based on the (generalized under the given precision) convergence. In this case it needs to look up the abstractState in the reachedAbstractStates. Otherwise, it can return true if sufficient information is collected, e.g., a safety property is violated.