de.learnlib.api

Interface MembershipOracle<I,D>

All Superinterfaces:

QueryAnswerer<I,D>

All Known Subinterfaces:

Filter<I,D>, LearningCacheOracle<A,I,D>, LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, ParallelOracle<I,D>, ParallelSingleQueryOracle<I,D>, SingleQueryOracle<I,D>, SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, StatisticOracle<I,O>

All Known Implementing Classes:

AbstractSingleQueryOracle, AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA, AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy, CounterOracle, CounterOracle.DFACounterOracle, CounterOracle.MealyCounterOracle, DFACacheOracle, DFAHashCacheOracle, DynamicParallelOracle, FilterChain, HistogramOracle, MealyCacheOracle, QueryAnswererOracle, ReuseOracle, SafeOracle, SimulatorOracle, SimulatorOracle.DFASimulatorOracle, SimulatorOracle.MealySimulatorOracle, StaticParallelOracle, SULOracle

@ParametersAreNonnullByDefault
public interface MembershipOracle<I,D>
extends QueryAnswerer<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.).

Author:

Malte Isberner, Maik Merten

See Also:

DefaultQuery

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	MembershipOracle.DFAMembershipOracle<I>
static interface	MembershipOracle.MealyMembershipOracle<I,O>

Method Summary

Modifier and Type	Method and Description
default D	answerQuery(Word<I> input)
default D	answerQuery(Word<I> prefix, Word<I> suffix)
default MembershipOracle<I,D>	asOracle()
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

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)

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

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>

asOracle

default MembershipOracle<I,D> asOracle()

Specified by:

asOracle in interface QueryAnswerer<I,D>