Package de.learnlib.filter.cache
Interface LearningCache<A,I,O>
-
- Type Parameters:
A
- the (maximally generic) automaton model for which the cache stores information. For example, for aMealy
cache this would beMealyMachine<?,I,?,O>
. This type determines what the cache contents can be checked against by acache consistency test
I
- input symbol typeO
- output symbol type
- All Known Subinterfaces:
LearningCache.DFALearningCache<I>
,LearningCache.MealyLearningCache<I,O>
,LearningCache.MooreLearningCache<I,O>
,LearningCacheOracle<A,I,D>
,LearningCacheOracle.DFALearningCacheOracle<I>
,LearningCacheOracle.MealyLearningCacheOracle<I,O>
,LearningCacheOracle.MooreLearningCacheOracle<I,O>
- All Known Implementing Classes:
DFACacheOracle
,DFAHashCacheOracle
,MealyCacheOracle
,MooreCacheOracle
,StateLocalInputSULCache
,SULCache
,SymbolQueryCache
,ThreadSafeDFACacheOracle
,ThreadSafeMealyCacheOracle
,ThreadSafeMooreCacheOracle
,ThreadSafeStateLocalInputSULCache
,ThreadSafeSULCache
public interface LearningCache<A,I,O>
Interface for a cache used in automata learning.The idea of a cache is to save (potentially expensive) queries to the real system under learning by storing the results of previous queries. This is particularly useful as many learning algorithms pose redundant queries, i.e., pose the same query twice or more times in different contexts.
A learning cache provides a
cache consistency test
, which is an equivalence query realization that only checks a given hypothesis against the contents of the cache.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
LearningCache.DFALearningCache<I>
Specialization of theLearningCache
interface for DFA learning.static interface
LearningCache.MealyLearningCache<I,O>
Specialization of theLearningCache
interface for Mealy machine learning.static interface
LearningCache.MooreLearningCache<I,O>
Specialization of theLearningCache
interface for Moore machine learning.
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description EquivalenceOracle<A,I,O>
createCacheConsistencyTest()
Creates a cache consistency test.
-
-
-
Method Detail
-
createCacheConsistencyTest
EquivalenceOracle<A,I,O> createCacheConsistencyTest()
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.
- Returns:
- a cache consistency test for the contents of this cache
-
-