Module de.learnlib.algorithm.aaar

Package de.learnlib.algorithm.aaar

Interface Summary

Interface	Description
Abstraction<AI,CI>	An interface for mapping concrete symbols to their abstraction, and abstractions to their representatives, respectively.
ExplicitInitialAbstraction<AI,CI>	This interface denotes an Abstraction that additionally provides an initial classification of abstract input symbols.

Class Summary

Class	Description
AbstractAAARLearner<L extends LearningAlgorithm<CM,CI,D> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>	Base implementation of the learner presented in "Automata Learning with Automated Alphabet Abstraction Refinement" by Howar et al.
TranslatingDFA<S,AI,CI>
TranslatingMealyMachine<S,AI,CI,T,O>
TranslatingMooreMachine<S,AI,CI,T,O>