Package de.learnlib.oracle.membership

Class Summary

Class	Description
AbstractSULOmegaOracle<S,I,O,Q>	An omega membership oracle for an ObservableSUL.
DFASimulatorOracle<I>	This is an auto-generated refinement.
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.
MealySimulatorOracle<I,O>	This is an auto-generated refinement.
MooreSimulatorOracle<I,O>	This is an auto-generated refinement.
NFASimulatorOracle<I>	This is an auto-generated refinement.
SBASimulatorOracle<I>	This is an auto-generated refinement.
SEVPASimulatorOracle<I>	This is an auto-generated refinement.
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.
SPASimulatorOracle<I>	This is an auto-generated refinement.
SPMMSimulatorOracle<I,O>	This is an auto-generated refinement.
StateLocalInputSULOracle<I,O>	A wrapper around a system under learning (SUL) with state local inputs.
StateLocalInputSULSymbolQueryOracle<I,O>	A SymbolQueryOracle wrapper for StateLocalInputSULs.
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.