Module de.learnlib.algorithm.kv
Package de.learnlib.algorithm.kv.mealy

Class KearnsVaziraniMealyBuilder<I,O>

java.lang.Object
de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder<I,O>
Type Parameters:
I - input symbol type
O - output symbol type
public final class KearnsVaziraniMealyBuilder<I,O> extends Object
A builder for constructing KearnsVaziraniMealy instances.

  • Constructor Details

    • KearnsVaziraniMealyBuilder

      public KearnsVaziraniMealyBuilder()
      Creates a new builder (and may set default values for some parameters).

  • Method Details

    • getAlphabet

      public Alphabet<I> getAlphabet()
      Returns the current value for the parameter alphabet.
      Returns:
      the current value for the parameter alphabet

    • setAlphabet

      public void setAlphabet(Alphabet<I> alphabet)
      Sets the new value for the parameter alphabet.
      Parameters:
      alphabet - the new value for the parameter alphabet

    • withAlphabet

      public KearnsVaziraniMealyBuilder<I,O> withAlphabet(Alphabet<I> alphabet)
      Sets the new value for the parameter alphabet and returns this builder instance.
      Parameters:
      alphabet - the new value for the parameter alphabet
      Returns:
      the current builder instance

    • getOracle

      public MembershipOracle<I,Word<O>> getOracle()
      Returns the current value for the parameter oracle.
      Returns:
      the current value for the parameter oracle

    • setOracle

      public void setOracle(MembershipOracle<I,Word<O>> oracle)
      Sets the new value for the parameter oracle.
      Parameters:
      oracle - the new value for the parameter oracle

    • withOracle

      public KearnsVaziraniMealyBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)
      Sets the new value for the parameter oracle and returns this builder instance.
      Parameters:
      oracle - the new value for the parameter oracle
      Returns:
      the current builder instance

    • getRepeatedCounterexampleEvaluation

      public boolean getRepeatedCounterexampleEvaluation()
      Returns the current value for the parameter repeatedCounterexampleEvaluation.
      Returns:
      the current value for the parameter repeatedCounterexampleEvaluation

    • setRepeatedCounterexampleEvaluation

      public void setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
      Sets the new value for the parameter repeatedCounterexampleEvaluation.
      Parameters:
      repeatedCounterexampleEvaluation - the new value for the parameter repeatedCounterexampleEvaluation

    • withRepeatedCounterexampleEvaluation

      public KearnsVaziraniMealyBuilder<I,O> withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
      Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.
      Parameters:
      repeatedCounterexampleEvaluation - the new value for the parameter repeatedCounterexampleEvaluation
      Returns:
      the current builder instance

    • getCounterexampleAnalyzer

      public AcexAnalyzer getCounterexampleAnalyzer()
      Returns the current value for the parameter counterexampleAnalyzer.
      Returns:
      the current value for the parameter counterexampleAnalyzer

    • setCounterexampleAnalyzer

      public void setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
      Sets the new value for the parameter counterexampleAnalyzer.
      Parameters:
      counterexampleAnalyzer - the new value for the parameter counterexampleAnalyzer

    • withCounterexampleAnalyzer

      public KearnsVaziraniMealyBuilder<I,O> withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
      Sets the new value for the parameter counterexampleAnalyzer and returns this builder instance.
      Parameters:
      counterexampleAnalyzer - the new value for the parameter counterexampleAnalyzer
      Returns:
      the current builder instance

    • create

      public KearnsVaziraniMealy<I,O> create()
      Creates a new KearnsVaziraniMealy instance with the configured parameters.
      Returns:
      the created instance