Uses of Interface
de.learnlib.oracle.OmegaQueryAnswerer
-
Packages that use OmegaQueryAnswerer Package Description de.learnlib.oracle This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.oracle.membership de.learnlib.oracle.parallelism de.learnlib.util This package (and sub-packages) provide general utilities used throughout LearnLib. -
-
Uses of OmegaQueryAnswerer in de.learnlib.oracle
Subinterfaces of OmegaQueryAnswerer in de.learnlib.oracle Modifier and Type Interface Description interface
OmegaMembershipOracle<S,I,D>
AnswersOmegaQuery
s, similar to aMembershipOracle
.static interface
OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
static interface
OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
interface
SingleQueryOmegaOracle<S,I,D>
AnOmegaMembershipOracle
that answers single queries.static interface
SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
static interface
SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
-
Uses of OmegaQueryAnswerer in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement OmegaQueryAnswerer Modifier and Type Class Description class
AbstractSULOmegaOracle<S,I,O,Q>
An omega membership oracle for anObservableSUL
.class
SimulatorOmegaOracle<S,I,D>
AnswersOmegaQuery
s by simulating an automaton.static class
SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>
static class
SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
-
Uses of OmegaQueryAnswerer in de.learnlib.oracle.parallelism
Subinterfaces of OmegaQueryAnswerer in de.learnlib.oracle.parallelism Modifier and Type Interface Description interface
ParallelOmegaOracle<S,I,D>
ParallelOracle
equivalent forOmegaMembershipOracle
.Classes in de.learnlib.oracle.parallelism that implement OmegaQueryAnswerer Modifier and Type Class Description class
DynamicParallelOmegaOracle<S,I,D>
A specializedAbstractDynamicBatchProcessor
forOmegaMembershipOracle
s that implementsParallelOmegaOracle
.class
StaticParallelOmegaOracle<S,I,D>
A specializedAbstractStaticBatchProcessor
forOmegaMembershipOracle
s that implementsParallelOmegaOracle
. -
Uses of OmegaQueryAnswerer in de.learnlib.util
Methods in de.learnlib.util with parameters of type OmegaQueryAnswerer Modifier and Type Method Description static <S,I,D>
voidMQUtil. answerOmegaQueries(OmegaQueryAnswerer<S,I,D> answerer, Collection<? extends OmegaQuery<I,D>> queries)
-