public interface StopOperator
|Modifier and Type||Method and Description|
The operator may decide based on the (generalized under the given
boolean stop(AbstractState abstractState, java.util.Collection<? extends AbstractState> reachedAbstractStates, Precision precision)
precision) convergence. In this case it needs to look up the
reachedAbstractStates. Otherwise, it can return
trueif sufficient information is collected, e.g., a safety property is violated.