类 NeverAbortOperator

    • 方法概要

      所有方法 实例方法 具体方法 
      修饰符和类型 方法 说明
      boolean abort​(AbstractState<?> abstractState)
      The operator receives a newly discovered abstract state and returns whether the analysis should terminate.
      • 从类继承的方法 java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 方法详细资料

      • abort

        public boolean abort​(AbstractState<?> abstractState)
        从接口复制的说明: AbortOperator
        The operator receives a newly discovered abstract state and returns whether the analysis should terminate.
        指定者:
        abort 在接口中 AbortOperator