All Classes

Class	Description
AbstractAAARLearner<L extends LearningAlgorithm<CM,CI,D> & 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.
AbstractAbstractionTree<AI,CI,D>
AbstractExplicitAAARLearner<L extends LearningAlgorithm<CM,CI,D> & SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>	An "explicit" refinement of the AbstractAAARLearner.
AbstractGenericAAARLearner<L extends LearningAlgorithm<CM,CI,D> & SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>	A "generic" refinement of the AbstractAAARLearner.
Abstraction<AI,CI>	An interface for mapping concrete symbols to their abstraction, and abstractions to their representatives, respectively.
ExplicitAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,AI,CI>	A DFA-specific refinement of AbstractExplicitAAARLearner.
ExplicitAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O>	A MealyMachine-specific refinement of AbstractExplicitAAARLearner.
ExplicitAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O>	A LearningAlgorithm.MooreLearner-specific refinement of AbstractExplicitAAARLearner.
ExplicitAbstractionTree<AI,CI,D>
ExplicitInitialAbstraction<AI,CI>	This interface denotes an Abstraction that additionally provides an initial classification of abstract input symbols.
GenericAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,AI,CI>	A DFA-specific refinement of AbstractGenericAAARLearner.
GenericAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O>	A MealyMachine-specific refinement of AbstractGenericAAARLearner.
GenericAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,O> & SupportsGrowingAlphabet<CI>,AI,CI,O>	A MooreMachine-specific refinement of AbstractGenericAAARLearner.
GenericAbstractionTree<AI,CI,D>
TranslatingDFA<S,AI,CI>
TranslatingMealyMachine<S,AI,CI,T,O>
TranslatingMooreMachine<S,AI,CI,T,O>