Class AlwaysFalseStopCriterion

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

public final class AlwaysFalseStopCriterion extends Object implements StopCriterion
A stop criterion that evaluates always to false.
  • Constructor Details

    • AlwaysFalseStopCriterion

      public AlwaysFalseStopCriterion()
  • Method Details