| Package | Description |
|---|---|
| de.learnlib.api.oracle | |
| de.learnlib.api.statistic |
| Modifier and Type | Interface and Description |
|---|---|
interface |
Filter<I,D>
A filter is an oracle that can be used as the middle element in a chain of oracles.
|
interface |
MembershipOracle<I,D>
Membership oracle interface.
|
static interface |
MembershipOracle.DFAMembershipOracle<I> |
static interface |
MembershipOracle.MealyMembershipOracle<I,O> |
interface |
SingleQueryOracle<I,D>
Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a
QueryAnswerer, and that cannot profit from batch processing of queries. |
static interface |
SingleQueryOracle.SingleQueryOracleDFA<I> |
static interface |
SingleQueryOracle.SingleQueryOracleMealy<I,O> |
interface |
SymbolQueryOracle<I,O>
Symbol query interface.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
StatisticOracle<I,O>
Common interface for oracles keeping statistics.
|
Copyright © 2018. All rights reserved.