Class AbstractMealyPassiveLearnerIT


  • public abstract class AbstractMealyPassiveLearnerIT
    extends Object
    Abstract integration test for passive Mealy machine learning algorithms.

    Mealy machine learning algorithms tested by this integration test are expected to assume membership queries yield the full output word corresponding to the suffix part of the query.

    • Constructor Detail

      • AbstractMealyPassiveLearnerIT

        public AbstractMealyPassiveLearnerIT()
    • Method Detail

      • createExampleITCases

        @Factory
        public Object[] createExampleITCases()
      • addLearnerVariants

        protected abstract <I,​O> void addLearnerVariants​(net.automatalib.alphabet.Alphabet<I> alphabet,
                                                               PassiveLearnerVariantList<net.automatalib.automaton.transducer.MealyMachine<?,​I,​?,​O>,​I,​net.automatalib.word.Word<O>> variants)
        Adds, for a given setup, all the variants of the DFA learner to be tested to the specified variant list.
        Type Parameters:
        I - input symbol type
        O - output symbol type
        Parameters:
        alphabet - the input alphabet
        variants - list to add the learner variants to