Module de.learnlib.algorithm.lstar
Package de.learnlib.algorithm.lstar.mmlt

Class ExtensibleLStarMMLTBuilder<I,O>

java.lang.Object
de.learnlib.algorithm.lstar.mmlt.ExtensibleLStarMMLTBuilder<I,O>
Type Parameters:
I - input symbol type (of non-delaying inputs)
O - output symbol type
public final class ExtensibleLStarMMLTBuilder<I,O> extends Object
A builder for constructing ExtensibleLStarMMLT instances.

  • Constructor Details

    • ExtensibleLStarMMLTBuilder

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

    • getModelParams

      public MMLTModelParams<O> getModelParams()
      Returns the current value for the parameter modelParams.
      Returns:
      the current value for the parameter modelParams

    • setModelParams

      public void setModelParams(MMLTModelParams<O> modelParams)
      Sets the new value for the parameter modelParams.
      Parameters:
      modelParams - the new value for the parameter modelParams

    • withModelParams

      public ExtensibleLStarMMLTBuilder<I,O> withModelParams(MMLTModelParams<O> modelParams)
      Sets the new value for the parameter modelParams and returns this builder instance.
      Parameters:
      modelParams - the new value for the parameter modelParams
      Returns:
      the current builder instance

    • getTimeOracle

      public TimedQueryOracle<I,O> getTimeOracle()
      Returns the current value for the parameter timeOracle.
      Returns:
      the current value for the parameter timeOracle

    • setTimeOracle

      public void setTimeOracle(TimedQueryOracle<I,O> timeOracle)
      Sets the new value for the parameter timeOracle.
      Parameters:
      timeOracle - the new value for the parameter timeOracle

    • withTimeOracle

      public ExtensibleLStarMMLTBuilder<I,O> withTimeOracle(TimedQueryOracle<I,O> timeOracle)
      Sets the new value for the parameter timeOracle and returns this builder instance.
      Parameters:
      timeOracle - the new value for the parameter timeOracle
      Returns:
      the current builder instance

    • getInitialSuffixes

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

    • setInitialSuffixes

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

    • withInitialSuffixes

      public ExtensibleLStarMMLTBuilder<I,O> withInitialSuffixes(List<Word<TimedInput<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 TimedInput<I>,? super Word<TimedOutput<O>>> getClosingStrategy()
      Returns the current value for the parameter closingStrategy.
      Returns:
      the current value for the parameter closingStrategy

    • setClosingStrategy

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

    • withClosingStrategy

      public ExtensibleLStarMMLTBuilder<I,O> withClosingStrategy(ClosingStrategy<? super TimedInput<I>,? super Word<TimedOutput<O>>> 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

    • getSymbolFilter

      public RefutableSymbolFilter<TimedInput<I>,InputSymbol<I>> getSymbolFilter()
      Returns the current value for the parameter symbolFilter.
      Returns:
      the current value for the parameter symbolFilter

    • setSymbolFilter

      public void setSymbolFilter(RefutableSymbolFilter<TimedInput<I>,InputSymbol<I>> symbolFilter)
      Sets the new value for the parameter symbolFilter.
      Parameters:
      symbolFilter - the new value for the parameter symbolFilter

    • withSymbolFilter

      public ExtensibleLStarMMLTBuilder<I,O> withSymbolFilter(RefutableSymbolFilter<TimedInput<I>,InputSymbol<I>> symbolFilter)
      Sets the new value for the parameter symbolFilter and returns this builder instance.
      Parameters:
      symbolFilter - the new value for the parameter symbolFilter
      Returns:
      the current builder instance

    • getAnalyzer

      public AcexAnalyzer getAnalyzer()
      Returns the current value for the parameter analyzer.
      Returns:
      the current value for the parameter analyzer

    • setAnalyzer

      public void setAnalyzer(AcexAnalyzer analyzer)
      Sets the new value for the parameter analyzer.
      Parameters:
      analyzer - the new value for the parameter analyzer

    • withAnalyzer

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

    • create

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