Module de.learnlib.filter.cache

Package de.learnlib.filter.cache.mealy

Class Summary

Class	Description
AdaptiveQueryCache<I,O>	A cache for an AdaptiveMembershipOracle.
AdaptiveQueryCache.AdaptiveQueryCacheState<I,O>
InterningMealyMembershipOracle<I,O>	A type-specific refinement of InterningMembershipOracle.
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.
ThreadSafeMealyCacheConsistencyTest<I,O>	A thread-safe variant of EquivalenceOracle.MealyEquivalenceOracle.
ThreadSafeMealyCacheOracle<I,O>	A thread-safe variant of MealyCacheOracle.
ThreadSafeMealyCaches	A factory for creating thread-safe caches for MealyMachine-based MembershipOracles.