Package de.learnlib.filter.cache
Interface LearningCacheOracle.DFALearningCacheOracle<I>
-
- Type Parameters:
I
- input symbol type
- All Superinterfaces:
BatchProcessor<Query<I,Boolean>>
,LearningCache<DFA<?,I>,I,Boolean>
,LearningCache.DFALearningCache<I>
,LearningCacheOracle<DFA<?,I>,I,Boolean>
,MembershipOracle<I,Boolean>
,MembershipOracle.DFAMembershipOracle<I>
,QueryAnswerer<I,Boolean>
- All Known Implementing Classes:
DFACacheOracle
,DFAHashCacheOracle
,ThreadSafeDFACacheOracle
- Enclosing interface:
- LearningCacheOracle<A,I,D>
public static interface LearningCacheOracle.DFALearningCacheOracle<I> extends LearningCacheOracle<DFA<?,I>,I,Boolean>, LearningCache.DFALearningCache<I>, MembershipOracle.DFAMembershipOracle<I>
Specialization of theLearningCacheOracle
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>
-
Nested classes/interfaces inherited from interface de.learnlib.filter.cache.LearningCacheOracle
LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, LearningCacheOracle.MooreLearningCacheOracle<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
-
-