Package de.learnlib.filter.cache

Interface LearningCacheOracle<A,I,D>

Type Parameters:

A - the (maximally generic) automaton model for which the cache stores information. See LearningCache

I - input symbol type

D - output domain type

All Superinterfaces:

BatchProcessor<Query<I,D>>, LearningCache<A,I,D>, MembershipOracle<I,D>, QueryAnswerer<I,D>

All Known Subinterfaces:

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

All Known Implementing Classes:

DFACacheOracle, DFAHashCacheOracle, MealyCacheOracle, MooreCacheOracle, SymbolQueryCache, ThreadSafeDFACacheOracle, ThreadSafeMealyCacheOracle, ThreadSafeMooreCacheOracle

public interface LearningCacheOracle<A,I,D>
extends LearningCache<A,I,D>, MembershipOracle<I,D>

A learning cache that also serves as a membership oracle.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	LearningCacheOracle.DFALearningCacheOracle<I>	Specialization of the LearningCacheOracle interface for DFA learning.
static interface	LearningCacheOracle.MealyLearningCacheOracle<I,O>	Specialization of the LearningCacheOracle interface for Mealy machine learning.
static interface	LearningCacheOracle.MooreLearningCacheOracle<I,O>	Specialization of the LearningCacheOracle interface for Moore machine learning.

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.oracle.MembershipOracle

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

Method Summary

Methods inherited from interface de.learnlib.filter.cache.LearningCache

createCacheConsistencyTest

Methods inherited from interface de.learnlib.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQueries, processQuery