Uses of Package de.learnlib.oracle.membership (LearnLib :: Oracles

Classes in de.learnlib.oracle.membership used by de.learnlib.oracle.membership
Class and Description
AbstractSULOmegaOracle An omega membership oracle for an `ObservableSUL`.
SimulatorOmegaOracle Answers `OmegaQuery`s by simulating an automaton.
SimulatorOracle A membership oracle backed by an automaton.

Uses of Packagede.learnlib.oracle.membership