Package de.learnlib.filter.cache.mealy

Class ThreadSafeMealyCacheOracle<I,O>

java.lang.Object

de.learnlib.filter.cache.mealy.MealyCacheOracle<I,O>

de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheOracle<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

LearningCache<MealyMachine<?,I,?,O>,I,Word<O>>, LearningCache.MealyLearningCache<I,O>, LearningCacheOracle<MealyMachine<?,I,?,O>,I,Word<O>>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, BatchProcessor<Query<I,Word<O>>>, QueryAnswerer<I,Word<O>>, Resumable<MealyCacheOracle.MealyCacheOracleState<I,O>>, SupportsGrowingAlphabet<I>

public class ThreadSafeMealyCacheOracle<I,O>
extends MealyCacheOracle<I,O>

A thread-safe variant of MealyCacheOracle.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.filter.cache.mealy.MealyCacheOracle

MealyCacheOracle.MealyCacheOracleState<I,O>

Nested classes/interfaces inherited from interface de.learnlib.filter.cache.LearningCache

LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>, LearningCache.MooreLearningCache<I,O>

Nested classes/interfaces inherited from interface de.learnlib.filter.cache.LearningCacheOracle

LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, LearningCacheOracle.MooreLearningCacheOracle<I,O>

Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>

Method Summary

Modifier and Type	Method	Description
EquivalenceOracle.MealyEquivalenceOracle<I,O>	createCacheConsistencyTest()	Creates a cache consistency test.

Methods inherited from class de.learnlib.filter.cache.mealy.MealyCacheOracle

addAlphabetSymbol, processQueries, resume, suspend

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQuery

Method Detail

createCacheConsistencyTest

public EquivalenceOracle.MealyEquivalenceOracle<I,O> createCacheConsistencyTest()

Description copied from interface: LearningCache

Creates a cache consistency test. A cache consistency test is an equivalence oracle which checks a given hypothesis against the current contents of the cache. Hence, no queries are posed to the underlying system.

The created cache consistency test is backed by the cache contents. This method does not need to be invoked repeatedly when the cache contents change.

Specified by:

createCacheConsistencyTest in interface LearningCache<MealyMachine<?,I,?,O>,I,Word<O>>

Overrides:

createCacheConsistencyTest in class MealyCacheOracle<I,O>

Returns:

a cache consistency test for the contents of this cache