Package | Description |
---|---|
de.learnlib.oracles |
Modifier and Type | Class and Description |
---|---|
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).
|
Copyright © 2014. All Rights Reserved.