Module de.learnlib.algorithm.lsharp
Package de.learnlib.algorithm.lsharp

Class LSharpMealyBuilder<I,​O>

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

    • Constructor Detail

      • LSharpMealyBuilder

        public LSharpMealyBuilder()
        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 LSharpMealyBuilder<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 AdaptiveMembershipOracle<I,​O> getOracle()
        Returns the current value for the parameter oracle.
        Returns:
        the current value for the parameter oracle

      • setOracle

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

      • withOracle

        public LSharpMealyBuilder<I,​O> withOracle​(AdaptiveMembershipOracle<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

      • getRule2

        public Rule2 getRule2()
        Returns the current value for the parameter rule2.
        Returns:
        the current value for the parameter rule2

      • setRule2

        public void setRule2​(Rule2 rule2)
        Sets the new value for the parameter rule2.
        Parameters:
        rule2 - the new value for the parameter rule2

      • withRule2

        public LSharpMealyBuilder<I,​O> withRule2​(Rule2 rule2)
        Sets the new value for the parameter rule2 and returns this builder instance.
        Parameters:
        rule2 - the new value for the parameter rule2
        Returns:
        the current builder instance

      • getRule3

        public Rule3 getRule3()
        Returns the current value for the parameter rule3.
        Returns:
        the current value for the parameter rule3

      • setRule3

        public void setRule3​(Rule3 rule3)
        Sets the new value for the parameter rule3.
        Parameters:
        rule3 - the new value for the parameter rule3

      • withRule3

        public LSharpMealyBuilder<I,​O> withRule3​(Rule3 rule3)
        Sets the new value for the parameter rule3 and returns this builder instance.
        Parameters:
        rule3 - the new value for the parameter rule3
        Returns:
        the current builder instance

      • getSinkState

        public net.automatalib.word.Word<I> getSinkState()
        Returns the current value for the parameter sinkState.
        Returns:
        the current value for the parameter sinkState

      • setSinkState

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

      • withSinkState

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

      • getSinkOutput

        public O getSinkOutput()
        Returns the current value for the parameter sinkOutput.
        Returns:
        the current value for the parameter sinkOutput

      • setSinkOutput

        public void setSinkOutput​(O sinkOutput)
        Sets the new value for the parameter sinkOutput.
        Parameters:
        sinkOutput - the new value for the parameter sinkOutput

      • withSinkOutput

        public LSharpMealyBuilder<I,​O> withSinkOutput​(O sinkOutput)
        Sets the new value for the parameter sinkOutput and returns this builder instance.
        Parameters:
        sinkOutput - the new value for the parameter sinkOutput
        Returns:
        the current builder instance

      • getRandom

        public Random getRandom()
        Returns the current value for the parameter random.
        Returns:
        the current value for the parameter random

      • setRandom

        public void setRandom​(Random random)
        Sets the new value for the parameter random.
        Parameters:
        random - the new value for the parameter random

      • withRandom

        public LSharpMealyBuilder<I,​O> withRandom​(Random random)
        Sets the new value for the parameter random and returns this builder instance.
        Parameters:
        random - the new value for the parameter random
        Returns:
        the current builder instance

      • create

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