Package de.learnlib.oracle.membership

Class Summary

Class	Description
AbstractSULOmegaOracle<S,I,O,Q>	An omega membership oracle for an ObservableSUL.
FilterChain<I,D>	A chain of oracles.
MappedOracle<AI,AO,CI,CO>	A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of abstract input/output symbols, given a corresponding mapper.
SimulatorOmegaOracle<S,I,D>	Answers OmegaQuerys by simulating an automaton.
SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>
SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
SimulatorOracle<I,D>	A membership oracle backed by an automaton.
SimulatorOracle.DFASimulatorOracle<I>
SimulatorOracle.MealySimulatorOracle<I,O>
StateLocalInputSULOracle<I,O>
SULOracle<I,O>	A wrapper around a system under learning (SUL).
SULSymbolQueryOracle<I,O>	A wrapper that allows to use a SUL where a SymbolQueryOracle is expected.