Module de.learnlib.api

Package de.learnlib.oracle

Interface AdaptiveMembershipOracle<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Superinterfaces:

BatchProcessor<AdaptiveQuery<I,O>>

All Known Subinterfaces:

ParallelAdaptiveOracle<I,O>, SingleAdaptiveMembershipOracle<I,O>

All Known Implementing Classes:

AdaptiveQueryCache, CounterAdaptiveQueryOracle, DynamicParallelAdaptiveOracle, MQ2AQWrapper, ObservationTree, StateLocalInputSULAdaptiveOracle, StaticParallelAdaptiveOracle, SULAdaptiveOracle

public interface AdaptiveMembershipOracle<I,O>
extends BatchProcessor<AdaptiveQuery<I,O>>

An adaptive variation of the MembershipOracle that is tailored towards answering adaptive queries.

Method Summary

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

Method Detail

processQuery

default void processQuery(AdaptiveQuery<I,O> query)

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.

Parameters:

query - the query to process

processQueries

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

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.

Parameters:

queries - the queries to process

processBatch

default void processBatch(Collection<? extends AdaptiveQuery<I,O>> batch)

Description copied from interface: BatchProcessor

Process the batch.

Specified by:

processBatch in interface BatchProcessor<I>

Parameters:

batch - the batch to process