| 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.
|
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 |
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 | Method and Description |
|---|---|
default MembershipOracle<I,D> |
MembershipOracle.asOracle() |
default MembershipOracle<I,D> |
QueryAnswerer.asOracle() |
MembershipOracle<I,D> |
OmegaMembershipOracle.getMembershipOracle()
Returns a regular membership oracle.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Filter.setNext(MembershipOracle<I,D> next)
sets oracle for processing membership queries.
|
| Modifier and Type | Interface and Description |
|---|---|
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.