Package de.learnlib.filter.cache

Interface LearningCache.DFALearningCache<I>

Type Parameters:

I - input symbol type

All Superinterfaces:

LearningCache<DFA<?,I>,I,Boolean>

All Known Subinterfaces:

LearningCacheOracle.DFALearningCacheOracle<I>

All Known Implementing Classes:

DFACacheOracle, DFAHashCacheOracle, ThreadSafeDFACacheOracle

Enclosing interface:

LearningCache<A,I,O>

public static interface LearningCache.DFALearningCache<I>
extends LearningCache<DFA<?,I>,I,Boolean>

Specialization of the LearningCache interface for DFA learning.

Nested Class Summary

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

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

Method Summary

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

createCacheConsistencyTest