de.learnlib.api.oracle

Interface SymbolQueryOracle<I,O>

Type Parameters:

I - input alphabet type

O - output alphabet type

All Superinterfaces:

MembershipOracle<I,net.automatalib.words.Word<O>>, QueryAnswerer<I,net.automatalib.words.Word<O>>

All Known Implementing Classes:

SQOOTBridge, SULSymbolQueryOracle, SymbolQueryCache

@ParametersAreNonnullByDefault
public interface SymbolQueryOracle<I,O>
extends MembershipOracle<I,net.automatalib.words.Word<O>>

Symbol query interface. Semantically similar to MembershipOracle.MealyMembershipOracle, but allows to pose queries symbol-wise.

Author:

frohme

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Method Summary

Modifier and Type	Method and Description
default void	processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries) Processes the specified collection of queries.
O	query(I i) Query the system under learning for a new symbol.
void	reset() Reset the system under learning.

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processQuery

Method Detail

query

O query(I i)

Query the system under learning for a new symbol. This is a stateful operation.

Parameters:

i - the symbol to query

Returns:

the observed output

reset

void reset()

Reset the system under learning.

processQueries

default void processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries)

Description copied from interface: MembershipOracle

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.

Specified by:

processQueries in interface MembershipOracle<I,net.automatalib.words.Word<O>>

Parameters:

queries - the queries to process

See Also:

Query.answer(Object)