Module de.learnlib.algorithm.lstar
Package de.learnlib.algorithm.rivestschapire

Class RivestSchapireDFABuilder<I>

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

  • Constructor Details

    • RivestSchapireDFABuilder

      public RivestSchapireDFABuilder()
      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 RivestSchapireDFABuilder<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 RivestSchapireDFABuilder<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

    • getInitialSuffixes

      public List<Word<I>> getInitialSuffixes()
      Returns the current value for the parameter initialSuffixes.
      Returns:
      the current value for the parameter initialSuffixes

    • setInitialSuffixes

      public void setInitialSuffixes(List<Word<I>> initialSuffixes)
      Sets the new value for the parameter initialSuffixes.
      Parameters:
      initialSuffixes - the new value for the parameter initialSuffixes

    • withInitialSuffixes

      public RivestSchapireDFABuilder<I> withInitialSuffixes(List<Word<I>> initialSuffixes)
      Sets the new value for the parameter initialSuffixes and returns this builder instance.
      Parameters:
      initialSuffixes - the new value for the parameter initialSuffixes
      Returns:
      the current builder instance

    • getClosingStrategy

      public ClosingStrategy<? super I,? super Boolean> getClosingStrategy()
      Returns the current value for the parameter closingStrategy.
      Returns:
      the current value for the parameter closingStrategy

    • setClosingStrategy

      public void setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
      Sets the new value for the parameter closingStrategy.
      Parameters:
      closingStrategy - the new value for the parameter closingStrategy

    • withClosingStrategy

      public RivestSchapireDFABuilder<I> withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
      Sets the new value for the parameter closingStrategy and returns this builder instance.
      Parameters:
      closingStrategy - the new value for the parameter closingStrategy
      Returns:
      the current builder instance

    • create

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