de.learnlib.api.oracle

Interface SingleQueryOmegaOracle<S,I,D>

All Superinterfaces:

BatchProcessor<OmegaQuery<I,D>>, OmegaMembershipOracle<S,I,D>, OmegaQueryAnswerer<S,I,D>

All Known Subinterfaces:

SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

public interface SingleQueryOmegaOracle<S,I,D>
extends OmegaMembershipOracle<S,I,D>

An OmegaMembershipOracle that answers single queries.

Author:

Jeroen Meijer

See Also:

OmegaMembershipOracle, SingleQueryOracle

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
static interface	SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.OmegaMembershipOracle

OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

Method Summary

Modifier and Type	Method and Description
default void	processQueries(Collection<? extends OmegaQuery<I,D>> queries)
default void	processQuery(OmegaQuery<I,D> query)

Methods inherited from interface de.learnlib.api.oracle.OmegaMembershipOracle

answerQuery, asOracle, getMembershipOracle, isSameState, processBatch

Method Detail

processQuery

default void processQuery(OmegaQuery<I,D> query)

Specified by:

processQuery in interface OmegaMembershipOracle<S,I,D>

processQueries

default void processQueries(Collection<? extends OmegaQuery<I,D>> queries)

Specified by:

processQueries in interface OmegaMembershipOracle<S,I,D>