Package | Description |
---|---|
de.learnlib.oracles |
Modifier and Type | Interface and Description |
---|---|
interface |
ParallelSingleQueryOracle<I,D> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractSingleQueryOracle<I,D> |
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA<I> |
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O> |
class |
OracleQueryAnswerer<I,D> |
class |
SimulatorOracle<I,D>
A membership oracle backed by an automaton.
|
static class |
SimulatorOracle.DFASimulatorOracle<I> |
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
class |
SULOracle<I,O>
A wrapper around a system under learning (SUL).
|
Modifier and Type | Method and Description |
---|---|
static <I,D> void |
MQUtil.answerQueries(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
static <I,D> void |
MQUtil.answerQueriesParallel(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
Constructor and Description |
---|
QueryAnswererOracle(QueryAnswerer<I,D> answerer) |
Copyright © 2015. All rights reserved.