Module de.learnlib.api

Package de.learnlib.oracle

Interface SingleAdaptiveMembershipOracle<I,O>

All Superinterfaces:

AdaptiveMembershipOracle<I,O>, BatchProcessor<AdaptiveQuery<I,O>>

All Known Implementing Classes:

StateLocalInputSULAdaptiveOracle, SULAdaptiveOracle

public interface SingleAdaptiveMembershipOracle<I,O>
extends AdaptiveMembershipOracle<I,O>

An AdaptiveMembershipOracle that answers single queries.

See Also:

AdaptiveMembershipOracle, SingleQueryOracle

Method Summary

Modifier and Type	Method	Description
default void	processQueries(Collection<? extends AdaptiveQuery<I,O>> queries)	Processes the specified collection of queries.
void	processQuery(AdaptiveQuery<I,O> query)	Processes a single query.

Methods inherited from interface de.learnlib.oracle.AdaptiveMembershipOracle

processBatch

Method Detail

processQueries

default void processQueries(Collection<? extends AdaptiveQuery<I,O>> queries)

Description copied from interface: AdaptiveMembershipOracle

Processes the specified collection of queries. When this method returns, the provided inputs of the AdaptiveQuery.getInput() method will have been evaluated on the system under learning and its responses will have been forwarded to the AdaptiveQuery.processOutput(Object) method until the method has returned AdaptiveQuery.Response.FINISHED.

Specified by:

processQueries in interface AdaptiveMembershipOracle<I,O>

Parameters:

queries - the queries to process

processQuery

void processQuery(AdaptiveQuery<I,O> query)

Description copied from interface: AdaptiveMembershipOracle

Processes a single query. When this method returns, the provided inputs of the AdaptiveQuery.getInput() method will have been evaluated on the system under learning and its responses will have been forwarded to the AdaptiveQuery.processOutput(Object) method until the method has returned AdaptiveQuery.Response.FINISHED.

The default implementation of this method will simply wrap the provided AdaptiveQuery in a singleton Collection using Collections.singleton(Object). Implementations in subclasses should override this method to circumvent the Collection object creation, if possible.

Specified by:

processQuery in interface AdaptiveMembershipOracle<I,O>

Parameters:

query - the query to process