Package de.learnlib.oracle.membership

Class Summary

Class	Description
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.
SimulatorOracle<I,D>	A membership oracle backed by an automaton.
SimulatorOracle.DFASimulatorOracle<I>
SimulatorOracle.MealySimulatorOracle<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.