Package de.learnlib.filter.cache.moore

Class Summary

Class	Description
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.
ThreadSafeMooreCacheConsistencyTest<I,O>	A thread-safe variant of EquivalenceOracle.MooreEquivalenceOracle.
ThreadSafeMooreCacheOracle<I,O>	A thread-safe variant of MealyCacheOracle.
ThreadSafeMooreCaches	A factory for creating thread-safe caches for MooreMachine-based MembershipOracles.