A
- the (maximally generic) automaton model for which the cache stores information. See LearningCache
I
- input symbol typeD
- output domain typepublic interface LearningCacheOracle<A,I,D> extends LearningCache<A,I,D>, MembershipOracle<I,D>
learning cache
that also serves as a membership oracle
.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. |
LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
createCacheConsistencyTest
answerQuery, answerQuery, asOracle, processQueries, processQuery
Copyright © 2018. All rights reserved.