Module de.learnlib.filter.cache

Package de.learnlib.filter.cache

Interface Summary

Interface	Description
LearningCache<A,I,O>	Interface for a cache used in automata learning.
LearningCache.DFALearningCache<I>	Specialization of the LearningCache interface for DFA learning.
LearningCache.MealyLearningCache<I,O>	Specialization of the LearningCache interface for Mealy machine learning.
LearningCache.MooreLearningCache<I,O>	Specialization of the LearningCache interface for Moore machine learning.
LearningCacheOracle<A,I,D>	A learning cache that also serves as a membership oracle.
LearningCacheOracle.DFALearningCacheOracle<I>	Specialization of the LearningCacheOracle interface for DFA learning.
LearningCacheOracle.MealyLearningCacheOracle<I,O>	Specialization of the LearningCacheOracle interface for Mealy machine learning.
LearningCacheOracle.MooreLearningCacheOracle<I,O>	Specialization of the LearningCacheOracle interface for Moore machine learning.

Class Summary

Class	Description
DynamicSymbolComparator<I>
InterningMembershipOracle<I,D>	A MembershipOracle that interns query outputs.
ReverseLexCmp<I>