| Package | Description |
|---|---|
| de.learnlib.api.oracle | |
| de.learnlib.api.oracle.parallelism | |
| 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>
A specialization of the
MembershipOracle that binds the output domain to Words of the specified
output type. |
interface |
OmegaMembershipOracle<S,I,D>
Answers
OmegaQuerys, similar to a MembershipOracle. |
static interface |
OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I> |
static interface |
OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O> |
interface |
SingleQueryOmegaOracle<S,I,D>
An
OmegaMembershipOracle that answers single queries. |
static interface |
SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I> |
static interface |
SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,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 |
ParallelOmegaOracle<S,I,D>
ParallelOracle equivalent for OmegaMembershipOracle. |
interface |
ParallelOracle<I,D>
Basic interface for
MembershipOracles that can process queries in parallel. |
| Modifier and Type | Interface and Description |
|---|---|
interface |
StatisticOracle<I,D>
Common interface for oracles keeping statistics.
|
Copyright © 2020. All rights reserved.