Module de.learnlib.algorithm.dhc
Package de.learnlib.algorithm.dhc.mealy

Class MealyDHCBuilder<I,​O>

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

    • Constructor Detail

      • MealyDHCBuilder

        public MealyDHCBuilder()
        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 MealyDHCBuilder<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,​net.automatalib.word.Word<O>> getOracle()
        Returns the current value for the parameter oracle.
        Returns:
        the current value for the parameter oracle

      • setOracle

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

      • withOracle

        public MealyDHCBuilder<I,​O> withOracle​(MembershipOracle<I,​net.automatalib.word.Word<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

      • getSuffixFinder

        public GlobalSuffixFinder<? super I,​? super net.automatalib.word.Word<O>> getSuffixFinder()
        Returns the current value for the parameter suffixFinder.
        Returns:
        the current value for the parameter suffixFinder

      • setSuffixFinder

        public void setSuffixFinder​(GlobalSuffixFinder<? super I,​? super net.automatalib.word.Word<O>> suffixFinder)
        Sets the new value for the parameter suffixFinder.
        Parameters:
        suffixFinder - the new value for the parameter suffixFinder

      • withSuffixFinder

        public MealyDHCBuilder<I,​O> withSuffixFinder​(GlobalSuffixFinder<? super I,​? super net.automatalib.word.Word<O>> suffixFinder)
        Sets the new value for the parameter suffixFinder and returns this builder instance.
        Parameters:
        suffixFinder - the new value for the parameter suffixFinder
        Returns:
        the current builder instance

      • getInitialSplitters

        public Collection<? extends net.automatalib.word.Word<I>> getInitialSplitters()
        Returns the current value for the parameter initialSplitters.
        Returns:
        the current value for the parameter initialSplitters

      • setInitialSplitters

        public void setInitialSplitters​(Collection<? extends net.automatalib.word.Word<I>> initialSplitters)
        Sets the new value for the parameter initialSplitters.
        Parameters:
        initialSplitters - the new value for the parameter initialSplitters

      • withInitialSplitters

        public MealyDHCBuilder<I,​O> withInitialSplitters​(Collection<? extends net.automatalib.word.Word<I>> initialSplitters)
        Sets the new value for the parameter initialSplitters and returns this builder instance.
        Parameters:
        initialSplitters - the new value for the parameter initialSplitters
        Returns:
        the current builder instance

      • create

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