Module de.learnlib.algorithm.adt
Package de.learnlib.algorithm.adt.learner

Class ADTLearnerBuilder<I,​O>

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

    • Constructor Detail

      • ADTLearnerBuilder

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

      • getLeafSplitter

        public LeafSplitter getLeafSplitter()
        Returns the current value for the parameter leafSplitter.
        Returns:
        the current value for the parameter leafSplitter

      • setLeafSplitter

        public void setLeafSplitter​(LeafSplitter leafSplitter)
        Sets the new value for the parameter leafSplitter.
        Parameters:
        leafSplitter - the new value for the parameter leafSplitter

      • withLeafSplitter

        public ADTLearnerBuilder<I,​O> withLeafSplitter​(LeafSplitter leafSplitter)
        Sets the new value for the parameter leafSplitter and returns this builder instance.
        Parameters:
        leafSplitter - the new value for the parameter leafSplitter
        Returns:
        the current builder instance

      • getAdtExtender

        public ADTExtender getAdtExtender()
        Returns the current value for the parameter adtExtender.
        Returns:
        the current value for the parameter adtExtender

      • setAdtExtender

        public void setAdtExtender​(ADTExtender adtExtender)
        Sets the new value for the parameter adtExtender.
        Parameters:
        adtExtender - the new value for the parameter adtExtender

      • withAdtExtender

        public ADTLearnerBuilder<I,​O> withAdtExtender​(ADTExtender adtExtender)
        Sets the new value for the parameter adtExtender and returns this builder instance.
        Parameters:
        adtExtender - the new value for the parameter adtExtender
        Returns:
        the current builder instance

      • getSubtreeReplacer

        public SubtreeReplacer getSubtreeReplacer()
        Returns the current value for the parameter subtreeReplacer.
        Returns:
        the current value for the parameter subtreeReplacer

      • setSubtreeReplacer

        public void setSubtreeReplacer​(SubtreeReplacer subtreeReplacer)
        Sets the new value for the parameter subtreeReplacer.
        Parameters:
        subtreeReplacer - the new value for the parameter subtreeReplacer

      • withSubtreeReplacer

        public ADTLearnerBuilder<I,​O> withSubtreeReplacer​(SubtreeReplacer subtreeReplacer)
        Sets the new value for the parameter subtreeReplacer and returns this builder instance.
        Parameters:
        subtreeReplacer - the new value for the parameter subtreeReplacer
        Returns:
        the current builder instance

      • getUseObservationTree

        public boolean getUseObservationTree()
        Returns the current value for the parameter useObservationTree.
        Returns:
        the current value for the parameter useObservationTree

      • setUseObservationTree

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

      • withUseObservationTree

        public ADTLearnerBuilder<I,​O> withUseObservationTree​(boolean useObservationTree)
        Sets the new value for the parameter useObservationTree and returns this builder instance.
        Parameters:
        useObservationTree - the new value for the parameter useObservationTree
        Returns:
        the current builder instance

      • getSuffixFinder

        public LocalSuffixFinder<? 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​(LocalSuffixFinder<? 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 ADTLearnerBuilder<I,​O> withSuffixFinder​(LocalSuffixFinder<? 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

      • create

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