Package de.learnlib.filter.cache.dfa

Class DFACacheOracle<I>

java.lang.Object

de.learnlib.filter.cache.dfa.DFACacheOracle<I>

Type Parameters:

I - input symbol class

All Implemented Interfaces:

LearningCache<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, LearningCache.DFALearningCache<I>, LearningCacheOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, LearningCacheOracle.DFALearningCacheOracle<I>, BatchProcessor<Query<I,Boolean>>, MembershipOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>, QueryAnswerer<I,Boolean>, Resumable<DFACacheOracle.DFACacheOracleState<I>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>

Direct Known Subclasses:

ThreadSafeDFACacheOracle

public class DFACacheOracle<I>
extends Object
implements LearningCacheOracle.DFALearningCacheOracle<I>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, Resumable<DFACacheOracle.DFACacheOracleState<I>>

DFA cache. This cache is implemented as a membership oracle: upon construction, it is provided with a delegate oracle. Queries that can be answered from the cache are answered directly, others are forwarded to the delegate oracle. When the delegate oracle has finished processing these remaining queries, the results are incorporated into the cache.

Note: this implementation is not thread-safe. If you require a cache that is usable in a parallel environment. use the ThreadSafeDFACacheOracle (or rather the ThreadSafeDFACaches factory) from the learnlib-parallelism artifact.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	DFACacheOracle.DFACacheOracleState<I>

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 extends Object>, MembershipOracle.MealyMembershipOracle<I extends Object,O extends Object>, MembershipOracle.MooreMembershipOracle<I extends Object,O extends Object>

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
EquivalenceOracle.DFAEquivalenceOracle<I>	createCacheConsistencyTest()	Creates a cache consistency test.
void	processQueries(Collection<? extends Query<I,Boolean>> queries)
void	resume(DFACacheOracle.DFACacheOracleState<I> state)
DFACacheOracle.DFACacheOracleState<I>	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.DFAEquivalenceOracle<I> 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<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

Returns:

a cache consistency test for the contents of this cache

processQueries

public void processQueries(Collection<? extends Query<I,Boolean>> queries)

Specified by:

processQueries in interface MembershipOracle<I,Boolean>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface net.automatalib.alphabet.SupportsGrowingAlphabet<I>

suspend

public DFACacheOracle.DFACacheOracleState<I> suspend()

Specified by:

suspend in interface Resumable<I>

resume

public void resume(DFACacheOracle.DFACacheOracleState<I> state)

Specified by:

resume in interface Resumable<I>