public interface StopOperator
StopOperator
decides if Algorithm
should stop.Modifier and Type | Method and 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. |
boolean stop(AbstractState abstractState, java.util.Collection<? extends AbstractState> reachedAbstractStates, Precision precision)
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.