Package de.learnlib.oracle

Interface MembershipOracle<I,D>

All Superinterfaces:

BatchProcessor<Query<I,D>>, QueryAnswerer<I,D>

All Known Subinterfaces:

LearningCacheOracle<A,I,D>, LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, LearningCacheOracle.MooreLearningCacheOracle<I,O>, MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>, ParallelOracle<I,D>, SingleQueryOracle<I,D>, SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>, StatisticOracle<I,D>, SymbolQueryOracle<I,O>

All Known Implementing Classes:

CounterOracle, CounterSymbolQueryOracle, DFACacheOracle, DFACounterOracle, DFAHashCacheOracle, DFAHistogramOracle, DFASimulatorOracle, DynamicParallelOracle, HistogramOracle, MappedOracle, MealyCacheOracle, MealyCounterOracle, MealyHistogramOracle, MealySimulatorOracle, MooreCacheOracle, MooreCounterOracle, MooreOutputHistogramOracle, MooreSimulatorOracle, NFASimulatorOracle, ReuseOracle, SBASimulatorOracle, SEVPASimulatorOracle, SimulatorOracle, SPASimulatorOracle, SPMMSimulatorOracle, SQOOTBridge, StateLocalInputSULOracle, StateLocalInputSULSymbolQueryOracle, StaticParallelOracle, SULOracle, SULSymbolQueryOracle, SymbolQueryCache, ThreadSafeDFACacheOracle, ThreadSafeMealyCacheOracle, ThreadSafeMooreCacheOracle

public interface MembershipOracle<I,D>
extends QueryAnswerer<I,D>, BatchProcessor<Query<I,D>>

Membership oracle interface. A membership oracle provides an elementary abstraction to a System Under Learning (SUL), by allowing to pose queries: A query is a sequence of input symbols (divided into a prefix and a suffix part, cf. Query.getPrefix() and Query.getSuffix()) in reaction to which the SUL produces a specific observable behavior (outputting a word, acceptance/rejection etc.).

See Also:

DefaultQuery

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	MembershipOracle.DFAMembershipOracle<I>	A specialization of the MembershipOracle that binds the output domain to Booleans.
static interface	MembershipOracle.MealyMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.
static interface	MembershipOracle.MooreMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.

Method Summary

Modifier and Type	Method	Description
default D	answerQuery(Word<I> input)
default D	answerQuery(Word<I> prefix, Word<I> suffix)
default MembershipOracle<I,D>	asOracle()
default void	processBatch(Collection<? extends Query<I,D>> batch)	Process the batch.
void	processQueries(Collection<? extends Query<I,D>> queries)	Processes the specified collection of queries.
default void	processQuery(Query<I,D> query)	Processes a single query.

Method Detail

answerQuery

default D answerQuery(Word<I> input)

Specified by:

answerQuery in interface QueryAnswerer<I,D>

answerQuery

default D answerQuery(Word<I> prefix,
                      Word<I> suffix)

Specified by:

answerQuery in interface QueryAnswerer<I,D>

processQuery

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

Processes a single query. When this method returns, the Query.answer(Object) method of the supplied object will have been called with an argument reflecting the SUL response to the respective query.

The default implementation of this method will simply wrap the provided Query 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 Query<I,D>> queries)

Processes the specified collection of queries. When this method returns, each of the contained queries Query.answer(Object) method should have been called with an argument reflecting the SUL response to the respective query.

Parameters:

queries - the queries to process

See Also:

Query.answer(Object)

asOracle

default MembershipOracle<I,D> asOracle()

Specified by:

asOracle in interface QueryAnswerer<I,D>

processBatch

default void processBatch(Collection<? extends Query<I,D>> batch)

Description copied from interface: BatchProcessor

Process the batch.

Specified by:

processBatch in interface BatchProcessor<I>

Parameters:

batch - the batch to process