接口 AbortOperator
-
- 所有已知实现类:
ControllableAbortOperator,NeverAbortOperator
public interface AbortOperatorTheAbortOperatordefines whether the analysis should terminate upon encountering a specific abstract state.
-
-
方法概要
所有方法 实例方法 抽象方法 修饰符和类型 方法 说明 booleanabort(AbstractState<?> abstractState)The operator receives a newly discovered abstract state and returns whether the analysis should terminate.
-
-
-
方法详细资料
-
abort
boolean abort(AbstractState<?> abstractState)
The operator receives a newly discovered abstract state and returns whether the analysis should terminate.
-
-