Package de.learnlib.filter.cache.dfa

Class Summary

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>
ThreadSafeDFACacheOracle<I>	A thread-safe variant of DFACacheOracle.
ThreadSafeDFACaches	A factory for creating thread-safe caches for DFA-based MembershipOracles.