Module de.learnlib.oracle.membership

Package de.learnlib.oracle.membership

Class Summary

Class	Description
AbstractSULOmegaOracle<S,I,O,Q>	An omega membership oracle for an ObservableSUL.
DFASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
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>	A type-specific refinement of SimulatorOracle.
MooreSimulatorOracle<I,O>	A type-specific refinement of SimulatorOracle.
NFASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
SBASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
SEVPASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
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>	A type-specific refinement of SimulatorOracle.
SPMMSimulatorOracle<I,O>	A type-specific refinement of SimulatorOracle.
StateLocalInputSULAdaptiveOracle<I,O>	A AdaptiveMembershipOracle wrapper for StateLocalInputSULs.
StateLocalInputSULOracle<I,O>	A wrapper around a system under learning (SUL) with state local inputs.
SULAdaptiveOracle<I,O>	A wrapper that allows to use a SUL where a AdaptiveMembershipOracle is expected.
SULOracle<I,O>	A wrapper around a system under learning (SUL).