Class StateStopCriterion

java.lang.Object
org.oristool.analyzer.stop.StateStopCriterion
All Implemented Interfaces:
AnalyzerObserver, StopCriterion

public final class StateStopCriterion extends Object implements StopCriterion
Stop criterion based on a state predicate.
  • Constructor Details

    • StateStopCriterion

      public StateStopCriterion(Predicate<State> predicate)
  • Method Details

    • notifySuccessionExtracted

      public void notifySuccessionExtracted(Succession succession)
      Description copied from interface: AnalyzerObserver
      Notifies the observer that the analyzer has extracted the given succession from the policy.
      Specified by:
      notifySuccessionExtracted in interface AnalyzerObserver
      Parameters:
      succession - succession extracted by the analyzer
    • stop

      public boolean stop()
      Specified by:
      stop in interface StopCriterion