de.learnlib.cache

Interface LearningCache<A,I,O>

Type Parameters:

A - the (maximally generic) automaton model for which the caches stores information. For example, for a Mealy cache this would be MealyMachine. This type determines what the cache contents can be checked against by a {@link #createCacheConsistencyTest() cache consistency test}

I - input symbol type

O - output symbol type

All Known Subinterfaces:

LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>, LearningCacheOracle<A,I,O>, LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>

All Known Implementing Classes:

DFACacheOracle, DFAHashCacheOracle, MealyCacheOracle, SULCache

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.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	LearningCache.DFALearningCache<I> Specialization of the LearningCache interface for DFA learning.
static interface	LearningCache.MealyLearningCache<I,O> Specialization of the LearningCache interface for Mealy machine learning.

Method Summary

Methods

Modifier and Type	Method and 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