Module de.learnlib.api

Package de.learnlib.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>

All Known Implementing Classes:

SimulatorOmegaOracle, SimulatorOmegaOracle.DFASimulatorOmegaOracle, SimulatorOmegaOracle.MealySimulatorOmegaOracle

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

An OmegaMembershipOracle that answers single queries.

See Also:

• OmegaMembershipOracle
• SingleQueryOracle

Nested Class Summary

Nested Classes

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

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

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

Method Summary

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

Methods inherited from interface de.learnlib.oracle.OmegaMembershipOracle

answerQuery, asOracle, getMembershipOracle, isSameState, processBatch

Method Details

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>