All Classes

Class	Description
DFACacheOracle<I>	DFA cache.
DFACacheOracle.DFACacheOracleState<I>
DFACaches	A factory for creating caches for DFA-based MembershipOracles.
DFAHashCacheOracle<I>	A LearningCacheOracle.DFALearningCacheOracle that uses a Map for internal cache organization.
DFAHashCacheOracle.DFAHashCacheOracleState<I>
DynamicSymbolComparator<I>
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.
MealyCacheConsistencyTest<I,O>	An EquivalenceOracle that tests a hypothesis for consistency with the contents of a MealyCacheOracle.
MealyCacheOracle<I,O>	Mealy cache.
MealyCacheOracle.MealyCacheOracleState<I,O>
MealyCaches	A factory for creating caches for mealy-based MembershipOracles.
MooreCacheConsistencyTest<I,O>	An EquivalenceOracle that tests a hypothesis for consistency with the contents of a MooreCacheOracle.
MooreCacheOracle<I,O>	Moore cache.
MooreCacheOracle.MooreCacheOracleState<I,O>
MooreCaches	A factory for creating caches for Moore-based MembershipOracles.
ReverseLexCmp<I>
StateLocalInputSULCache<I,O>	A SULCache that additionally caches the currently enabled inputs of the given StateLocalInputSUL.
StateLocalInputSULCache.StateLocalInputSULCacheState<I,O>
SULCache<I,O>	A cache to be used with a SUL.
SULCaches	A factory for creating caches for SULs.
SymbolQueryCache<I,O>	A cache for a SymbolQueryOracle.
SymbolQueryCache.SymbolQueryCacheState<I,O>