Uses of Package
de.learnlib.oracle.membership

Classes in de.learnlib.oracle.membership used by de.learnlib.oracle.membership

Class	Description
AbstractSULOmegaOracle	An omega membership oracle for an ObservableSUL.
SimulatorOmegaOracle	Answers OmegaQuerys by simulating an automaton.
SimulatorOracle	A membership oracle backed by an automaton.
SULSymbolQueryOracle	A wrapper that allows to use a SUL where a SymbolQueryOracle is expected.