Package | Description |
---|---|
de.learnlib.testsupport.it.learner |
Modifier and Type | Interface and Description |
---|---|
static interface |
PassiveLearnerVariantList.DFALearnerVariantList<I> |
static interface |
PassiveLearnerVariantList.MealyLearnerVariantList<I,O> |
static interface |
PassiveLearnerVariantList.MealySymLearnerVariantList<I,O> |
static interface |
PassiveLearnerVariantList.OneSEVPALearnerVariantList<I> |
Modifier and Type | Class and Description |
---|---|
class |
PassiveLearnerVariantListImpl<M,I,D> |
static class |
PassiveLearnerVariantListImpl.DFAPassiveLearnerVariantListImpl<I> |
static class |
PassiveLearnerVariantListImpl.MealyLearnerVariantListImpl<I,O> |
Modifier and Type | Method and Description |
---|---|
protected abstract <I> void |
AbstractDFAPassiveLearnerIT.addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
PassiveLearnerVariantList<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specified
variant list . |
protected abstract <I,O> void |
AbstractMealyPassiveLearnerIT.addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
PassiveLearnerVariantList<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specified
variant list . |
Copyright © 2018. All rights reserved.