Module de.learnlib.algorithm.nlstar
Package de.learnlib.algorithm.nlstar

Class NLStarLearnerBuilder<I>

java.lang.Object
de.learnlib.algorithm.nlstar.NLStarLearnerBuilder<I>
Type Parameters:
I - input symbol type
public final class NLStarLearnerBuilder<I> extends Object
A builder for constructing NLStarLearner instances.

  • Constructor Details

    • NLStarLearnerBuilder

      public NLStarLearnerBuilder()
      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 NLStarLearnerBuilder<I> 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,Boolean> getOracle()
      Returns the current value for the parameter oracle.
      Returns:
      the current value for the parameter oracle

    • setOracle

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

    • withOracle

      public NLStarLearnerBuilder<I> withOracle(MembershipOracle<I,Boolean> 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

    • create

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