|Constructor and Description|
Create a join operator from the abstract domain defining the join operator.
|Modifier and Type||Method and Description|
The operator may decide based on the (generalized under the given
public StopSepOperator(AbstractDomain abstractDomain)
abstractDomain- abstract domain
public 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.