Package de.learnlib.filter.cache.mealy
-
Class Summary Class Description MealyCacheConsistencyTest<I,O> AnEquivalenceOracle
that tests a hypothesis for consistency with the contents of aMealyCacheOracle
.MealyCacheOracle<I,O> Mealy cache.MealyCacheOracle.MealyCacheOracleState<I,O> MealyCaches A factory for creating caches for mealy-basedMembershipOracle
s.SymbolQueryCache<I,O> A cache for aSymbolQueryOracle
.SymbolQueryCache.SymbolQueryCacheState<I,O> ThreadSafeMealyCacheConsistencyTest<I,O> A thread-safe variant ofEquivalenceOracle.MealyEquivalenceOracle
.ThreadSafeMealyCacheOracle<I,O> A thread-safe variant ofMealyCacheOracle
.ThreadSafeMealyCaches A factory for creating thread-safe caches forMealyMachine
-basedMembershipOracle
s.