Package | Description |
---|---|
de.learnlib.filter.cache | |
de.learnlib.filter.cache.dfa | |
de.learnlib.filter.cache.mealy | |
de.learnlib.filter.cache.sul |
Modifier and Type | Interface and Description |
---|---|
static interface |
LearningCache.DFALearningCache<I>
Specialization of the
LearningCache interface for DFA learning. |
static interface |
LearningCache.MealyLearningCache<I,O>
Specialization of the
LearningCache interface for Mealy machine learning. |
interface |
LearningCacheOracle<A,I,D>
A
learning cache that also serves as a membership oracle . |
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. |
Modifier and Type | Class and Description |
---|---|
class |
DFACacheOracle<I>
DFA cache.
|
class |
DFAHashCacheOracle<I> |
Modifier and Type | Class and Description |
---|---|
class |
MealyCacheOracle<I,O>
Mealy cache.
|
Modifier and Type | Class and Description |
---|---|
class |
SULCache<I,O>
A cache to be used with a
SUL . |
Copyright © 2018. All rights reserved.