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. -
-
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 voidOmegaMembershipOracle. processQuery(OmegaQuery<I,D> query)default voidSingleQueryOmegaOracle. processQuery(OmegaQuery<I,D> query)Method parameters in de.learnlib.oracle with type arguments of type OmegaQuery Modifier and Type Method Description default voidOmegaMembershipOracle. processBatch(Collection<? extends OmegaQuery<I,D>> batch)voidOmegaMembershipOracle. processQueries(Collection<? extends OmegaQuery<I,D>> queries)default voidSingleQueryOmegaOracle. processQueries(Collection<? extends OmegaQuery<I,D>> queries)
-