Uses of Class
de.learnlib.query.OmegaQuery
-
Packages that use OmegaQuery 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.emptiness de.learnlib.oracle.membership de.learnlib.oracle.parallelism de.learnlib.util This package (and sub-packages) provide general utilities used throughout LearnLib. -
-
Uses of OmegaQuery in de.learnlib.oracle
Methods in de.learnlib.oracle that return OmegaQuery Modifier and Type Method Description OmegaQuery<I,D>
LassoOracle. processInput(Word<I> prefix, Word<I> loop, int repeat)
Processes the given omega query.Methods in de.learnlib.oracle with parameters of type OmegaQuery Modifier and Type Method Description default void
OmegaMembershipOracle. processQuery(OmegaQuery<I,D> query)
default void
SingleQueryOmegaOracle. processQuery(OmegaQuery<I,D> query)
Method parameters in de.learnlib.oracle with type arguments of type OmegaQuery Modifier and Type Method Description default void
OmegaMembershipOracle. processBatch(Collection<? extends OmegaQuery<I,D>> batch)
void
OmegaMembershipOracle. processQueries(Collection<? extends OmegaQuery<I,D>> queries)
default void
SingleQueryOmegaOracle. processQueries(Collection<? extends OmegaQuery<I,D>> queries)
-
Uses of OmegaQuery in de.learnlib.oracle.emptiness
Methods in de.learnlib.oracle.emptiness that return OmegaQuery Modifier and Type Method Description OmegaQuery<I,D>
LassoEmptinessOracleImpl. processInput(Word<I> prefix, Word<I> loop, int repeat)
-
Uses of OmegaQuery in de.learnlib.oracle.membership
Method parameters in de.learnlib.oracle.membership with type arguments of type OmegaQuery Modifier and Type Method Description void
AbstractSULOmegaOracle. processQueries(Collection<? extends OmegaQuery<I,Word<O>>> queries)
void
SimulatorOmegaOracle. processQueries(Collection<? extends OmegaQuery<I,D>> queries)
-
Uses of OmegaQuery in de.learnlib.oracle.parallelism
Method parameters in de.learnlib.oracle.parallelism with type arguments of type OmegaQuery Modifier and Type Method Description void
DynamicParallelOmegaOracle. processQueries(Collection<? extends OmegaQuery<I,D>> omegaQueries)
void
StaticParallelOmegaOracle. processQueries(Collection<? extends OmegaQuery<I,D>> omegaQueries)
-
Uses of OmegaQuery in de.learnlib.util
Method parameters in de.learnlib.util with type arguments of type OmegaQuery Modifier and Type Method Description static <S,I,D>
voidMQUtil. answerOmegaQueries(OmegaQueryAnswerer<S,I,D> answerer, Collection<? extends OmegaQuery<I,D>> queries)
-