Module de.learnlib.testsupport

Package de.learnlib.testsupport

Class Summary

Class	Description
AbstractBFOracleTest<D>	Class to test any AbstractBFOracle.
AbstractGrowingAlphabetDFATest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>>
AbstractGrowingAlphabetMealyTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>>
AbstractGrowingAlphabetMooreTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>>
AbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,OR,I,D>	Simple (abstract super) test class that checks the basic workflow of a learning algorithm that implements SupportsGrowingAlphabet.
AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,T>
AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,T>
AbstractResumableLearnerMooreTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,T>
AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,OR,I,D,T>	Test class that checks the workflow of a learning algorithm that implements Resumable.
MQ2AQWrapper<I,O>	Utility class that wraps a given MembershipOracle into an AdaptiveMembershipOracle by translating each step of an AdaptiveQuery into a separate DefaultQuery.
ResumeUtils	Utility functions for Resumable features.
VisualizationUtils	Utility class for running a simple learning setup (cf.