Package | Description |
---|---|
de.learnlib.oracles |
Modifier and Type | Class and Description |
---|---|
class |
AbstractSingleQueryOracle<I,O> |
class |
OracleQueryAnswerer<I,O> |
class |
SimulatorOracle<I,O>
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,O> void |
MQUtil.answerQueries(QueryAnswerer<I,O> answerer,
Collection<? extends Query<I,O>> queries) |
Constructor and Description |
---|
QueryAnswererOracle(QueryAnswerer<I,O> answerer) |
Copyright © 2014. All Rights Reserved.