接口 AbortOperator

    • 方法概要

      所有方法 实例方法 抽象方法 
      修饰符和类型 方法 说明
      boolean abort​(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.