de.learnlib.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:

LearningCache<A,I,D>, MembershipOracle<I,D>

All Known Subinterfaces:

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

All Known Implementing Classes:

DFACacheOracle, DFAHashCacheOracle, MealyCacheOracle

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

A learning cache that also serves as a membership oracle.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and 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.

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

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

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

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

Method Summary

Methods inherited from interface de.learnlib.cache.LearningCache

createCacheConsistencyTest

Methods inherited from interface de.learnlib.api.MembershipOracle

processQueries