Module de.learnlib.algorithm.lstar
Package de.learnlib.algorithm.lstar.moore

Class ClassicLStarMooreBuilder<I,​O>

  • Type Parameters:
    I - input symbol type
    O - output symbol type
    public final class ClassicLStarMooreBuilder<I,​O>
extends Object
    A builder for constructing ClassicLStarMoore instances.

    • Constructor Detail

      • ClassicLStarMooreBuilder

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

    • Method Detail

      • getAlphabet

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

      • setAlphabet

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

      • withAlphabet

        public ClassicLStarMooreBuilder<I,​O> withAlphabet​(net.automatalib.alphabet.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,​O> getOracle()
        Returns the current value for the parameter oracle.
        Returns:
        the current value for the parameter oracle

      • setOracle

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

      • withOracle

        public ClassicLStarMooreBuilder<I,​O> withOracle​(MembershipOracle<I,​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

      • getInitialPrefixes

        public List<net.automatalib.word.Word<I>> getInitialPrefixes()
        Returns the current value for the parameter initialPrefixes.
        Returns:
        the current value for the parameter initialPrefixes

      • setInitialPrefixes

        public void setInitialPrefixes​(List<net.automatalib.word.Word<I>> initialPrefixes)
        Sets the new value for the parameter initialPrefixes.
        Parameters:
        initialPrefixes - the new value for the parameter initialPrefixes

      • withInitialPrefixes

        public ClassicLStarMooreBuilder<I,​O> withInitialPrefixes​(List<net.automatalib.word.Word<I>> initialPrefixes)
        Sets the new value for the parameter initialPrefixes and returns this builder instance.
        Parameters:
        initialPrefixes - the new value for the parameter initialPrefixes
        Returns:
        the current builder instance

      • getInitialSuffixes

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

      • setInitialSuffixes

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

      • withInitialSuffixes

        public ClassicLStarMooreBuilder<I,​O> withInitialSuffixes​(List<net.automatalib.word.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

      • getCexHandler

        public ObservationTableCEXHandler<? super I,​? super O> getCexHandler()
        Returns the current value for the parameter cexHandler.
        Returns:
        the current value for the parameter cexHandler

      • setCexHandler

        public void setCexHandler​(ObservationTableCEXHandler<? super I,​? super O> cexHandler)
        Sets the new value for the parameter cexHandler.
        Parameters:
        cexHandler - the new value for the parameter cexHandler

      • withCexHandler

        public ClassicLStarMooreBuilder<I,​O> withCexHandler​(ObservationTableCEXHandler<? super I,​? super O> cexHandler)
        Sets the new value for the parameter cexHandler and returns this builder instance.
        Parameters:
        cexHandler - the new value for the parameter cexHandler
        Returns:
        the current builder instance

      • getClosingStrategy

        public ClosingStrategy<? super I,​? super O> 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 O> closingStrategy)
        Sets the new value for the parameter closingStrategy.
        Parameters:
        closingStrategy - the new value for the parameter closingStrategy

      • withClosingStrategy

        public ClassicLStarMooreBuilder<I,​O> withClosingStrategy​(ClosingStrategy<? super I,​? super 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