Class NeverAbortOperator

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean abort​(AbstractState abstractState)
      The operator receives a newly discovered abstract state and returns whether the analysis should terminate.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • abort

        public boolean abort​(AbstractState abstractState)
        Description copied from interface: AbortOperator
        The operator receives a newly discovered abstract state and returns whether the analysis should terminate.
        Specified by:
        abort in interface AbortOperator