Module de.learnlib.algorithm.observationpack
Package de.learnlib.algorithm.observationpack.dfa

Class OPLearnerDFABuilder<I>

  • Type Parameters:
    I - input symbol type
    public final class OPLearnerDFABuilder<I>
extends Object
    A builder for constructing OPLearnerDFA instances.

    • Constructor Detail

      • OPLearnerDFABuilder

        public OPLearnerDFABuilder()
        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 OPLearnerDFABuilder<I> 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,​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 OPLearnerDFABuilder<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

      • getSuffixFinder

        public LocalSuffixFinder<? super I,​? super Boolean> getSuffixFinder()
        Returns the current value for the parameter suffixFinder.
        Returns:
        the current value for the parameter suffixFinder

      • setSuffixFinder

        public void setSuffixFinder​(LocalSuffixFinder<? super I,​? super Boolean> suffixFinder)
        Sets the new value for the parameter suffixFinder.
        Parameters:
        suffixFinder - the new value for the parameter suffixFinder

      • withSuffixFinder

        public OPLearnerDFABuilder<I> withSuffixFinder​(LocalSuffixFinder<? super I,​? super Boolean> 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

      • getRepeatedCounterexampleEvaluation

        public boolean getRepeatedCounterexampleEvaluation()
        Returns the current value for the parameter repeatedCounterexampleEvaluation.
        Returns:
        the current value for the parameter repeatedCounterexampleEvaluation

      • setRepeatedCounterexampleEvaluation

        public void setRepeatedCounterexampleEvaluation​(boolean repeatedCounterexampleEvaluation)
        Sets the new value for the parameter repeatedCounterexampleEvaluation.
        Parameters:
        repeatedCounterexampleEvaluation - the new value for the parameter repeatedCounterexampleEvaluation

      • withRepeatedCounterexampleEvaluation

        public OPLearnerDFABuilder<I> withRepeatedCounterexampleEvaluation​(boolean repeatedCounterexampleEvaluation)
        Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.
        Parameters:
        repeatedCounterexampleEvaluation - the new value for the parameter repeatedCounterexampleEvaluation
        Returns:
        the current builder instance

      • getEpsilonRoot

        public boolean getEpsilonRoot()
        Returns the current value for the parameter epsilonRoot.
        Returns:
        the current value for the parameter epsilonRoot

      • setEpsilonRoot

        public void setEpsilonRoot​(boolean epsilonRoot)
        Sets the new value for the parameter epsilonRoot.
        Parameters:
        epsilonRoot - the new value for the parameter epsilonRoot

      • withEpsilonRoot

        public OPLearnerDFABuilder<I> withEpsilonRoot​(boolean epsilonRoot)
        Sets the new value for the parameter epsilonRoot and returns this builder instance.
        Parameters:
        epsilonRoot - the new value for the parameter epsilonRoot
        Returns:
        the current builder instance

      • create

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