Interface StopCriterion

All Superinterfaces:
AnalyzerObserver
All Known Implementing Classes:
AlwaysFalseStopCriterion, AndStopCriterion, EventNameStopCriterion, IterationsNumberStopCriterion, MarkingConditionStopCriterion, MonitorStopCriterion, OrStopCriterion, RegenerativeStopCriterion, StateStopCriterion, TimeBoundStopCriterion

public interface StopCriterion extends AnalyzerObserver
Common interface of stop criteria.
  • Method Details

    • stop

      boolean stop()