| Package | Description |
|---|---|
| de.learnlib.cache | |
| de.learnlib.cache.dfa | |
| de.learnlib.cache.mealy | |
| de.learnlib.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 © 2015. All rights reserved.