Module de.learnlib.api
Package de.learnlib

Interface LearnerStateTracker

All Known Implementing Classes:
AbstractAutomatonLStar, AbstractExtensibleAutomatonLStar, AbstractLStar, AbstractOPLearner, AbstractTTTLambda, AbstractTTTLearner, AbstractVPALearner, ADTLearner, ClassicLStarDFA, ClassicLStarMealy, ClassicLStarMoore, ExtensibleLStarDFA, ExtensibleLStarMealy, ExtensibleLStarMMLT, ExtensibleLStarMoore, KearnsVaziraniDFA, KearnsVaziraniMealy, LLambdaDFA, LLambdaMealy, LSharpMealy, MalerPnueliDFA, MalerPnueliMealy, MalerPnueliMoore, MealyDHC, NLStarLearner, OPLearnerDFA, OPLearnerMealy, OPLearnerMoore, OPLearnerVPA, PrefixTTTLearnerDFA, RivestSchapireDFA, RivestSchapireMealy, RivestSchapireMoore, SBALearner, SPALearner, SparseLearner, SPMMLearner, TTTLambdaDFA, TTTLambdaMealy, TTTLearnerDFA, TTTLearnerMealy, TTTLearnerMoore, TTTLearnerVPA
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface LearnerStateTracker
A utility interface for managing the learner state as required by the LearningAlgorithm contract. Given an implementation of hasLearningProcessStarted(), this interface provides default implementations for requiring whether the learning process has started yet.

  • Method Details

    • hasLearningProcessStarted

      boolean hasLearningProcessStarted()
      Returns whether the learning process has started yet.
      Returns:
      true if the learning process has started, false otherwise

    • requireLearningProcessNotStarted

      default void requireLearningProcessNotStarted()
      Requires that the learning process has not yet started.
      Throws:
      IllegalStateException - if hasLearningProcessStarted() returns true

    • requireLearningProcessStarted

      default void requireLearningProcessStarted()
      Requires that the learning process has started.
      Throws:
      IllegalArgumentException - if hasLearningProcessStarted() returns false