| Package | Description |
|---|---|
| de.learnlib.api | |
| de.learnlib.mealy | |
| de.learnlib.oracles | |
| de.learnlib.statistics |
| Modifier and Type | Interface and Description |
|---|---|
interface |
Filter<I,O>
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> |
| Modifier and Type | Method and Description |
|---|---|
void |
Filter.setNext(MembershipOracle<I,O> next)
sets oracle for processing membership queries.
|
| Modifier and Type | Method and Description |
|---|---|
static <I,O> MembershipOracle<I,O> |
MealyUtil.wrapWordOracle(MembershipOracle<I,Word<O>> oracle) |
| Modifier and Type | Method and Description |
|---|---|
static <I,O> MembershipOracle<I,O> |
MealyUtil.wrapWordOracle(MembershipOracle<I,Word<O>> oracle) |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractSingleQueryOracle<I,O> |
class |
CounterOracle<I,O>
Counts queries.
|
static class |
CounterOracle.DFACounterOracle<I> |
static class |
CounterOracle.MealyCounterOracle<I,O> |
class |
FilterChain<I,O>
A chain of oracles.
|
class |
HistogramOracle<I,O>
Collects a histogram of passed query lengths.
|
class |
QueryAnswererOracle<I,O> |
class |
SafeOracle<I,O> |
class |
SULOracle<I,O>
A wrapper around a system under learning (SUL).
|
| Modifier and Type | Method and Description |
|---|---|
static <I,O> O |
MQUtil.output(MembershipOracle<I,O> oracle,
Word<I> queryWord) |
static <I,O> O |
MQUtil.output(MembershipOracle<I,O> oracle,
Word<I> prefix,
Word<I> suffix) |
static <I,O> DefaultQuery<I,O> |
MQUtil.query(MembershipOracle<I,O> oracle,
Word<I> queryWord) |
static <I,O> DefaultQuery<I,O> |
MQUtil.query(MembershipOracle<I,O> oracle,
Word<I> prefix,
Word<I> suffix) |
void |
CounterOracle.setNext(MembershipOracle<I,O> next) |
void |
HistogramOracle.setNext(MembershipOracle<I,O> next)
set used oracle.
|
| Constructor and Description |
|---|
CounterOracle.DFACounterOracle(MembershipOracle<I,Boolean> nextOracle,
String name) |
CounterOracle.MealyCounterOracle(MembershipOracle<I,Word<O>> nextOracle,
String name) |
CounterOracle(MembershipOracle<I,O> nextOracle,
String name) |
FilterChain(MembershipOracle<I,O> endpoint,
Filter<I,O>... chain) |
HistogramOracle(MembershipOracle<I,O> next,
String name) |
OracleQueryAnswerer(MembershipOracle<I,O> oracle) |
SafeOracle(MembershipOracle<I,O> nextOracle) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
StatisticOracle<I,O>
Common interface for oracles keeping statistics.
|
Copyright © 2013. All Rights Reserved.