Module de.learnlib.testsupport
Package de.learnlib.testsupport
package de.learnlib.testsupport
-
ClassesClassDescriptionClass to test any
AbstractBFOracle.AbstractGrowingAlphabetDFATest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>, Character, Boolean>> AbstractGrowingAlphabetMealyTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MealyMachine<?,Character, ?, Character>, Character, Word<Character>>> AbstractGrowingAlphabetMooreTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character, ?, Character>, Character, Word<Character>>> AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I, D>, M extends UniversalDeterministicAutomaton.RegularAutomaton<?, I, ?, ?, ?> & Output<I, D>, OR, I, D> Simple (abstract super) test class that checks the basic workflow of a learning algorithm that implementsSupportsGrowingAlphabet.AbstractLearnerASTDFATest<L extends AccessSequenceTransformer<Character> & LearningAlgorithm<DFA<?,Character>, Character, Boolean>> AbstractLearnerASTMealyTest<L extends AccessSequenceTransformer<Character> & LearningAlgorithm<MealyMachine<?,Character, ?, Character>, Character, Word<Character>>> AbstractLearnerASTMooreTest<L extends AccessSequenceTransformer<Character> & LearningAlgorithm<MooreMachine<?,Character, ?, Character>, Character, Word<Character>>> AbstractLearnerASTTest<L extends AccessSequenceTransformer<I> & LearningAlgorithm<M,I, D>, M extends UniversalDeterministicAutomaton.RegularAutomaton<?, I, ?, ?, ?> & SuffixOutput<I, D>, OR, I, D> Test class that checks whether a learning algorithm which implements theAccessSequenceTransformerinterface returns the correct representatives.AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>, Character, Boolean>, T> AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character, ?, Character>, Character, Word<Character>>, T> AbstractResumableLearnerMooreTest<L extends Resumable<T> & LearningAlgorithm<MooreMachine<?,Character, ?, Character>, Character, Word<Character>>, T> AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I, D>, M extends UniversalDeterministicAutomaton.RegularAutomaton<?, I, ?, ?, ?> & Output<I, D>, OR, I, D, T> Test class that checks the workflow of a learning algorithm that implementsResumable.MQ2AQWrapper<I,O> Utility class that wraps a givenMembershipOracleinto anAdaptiveMembershipOracleby translating each step of anAdaptiveQueryinto a separateDefaultQuery.Utility functions forResumablefeatures.Utility class for running a simple learning setup (cf.