I
- input symbol typeD
- output domain type@ParametersAreNonnullByDefault public interface SingleQueryOracle<I,D> extends MembershipOracle<I,D>
QueryAnswerer
, and that cannot profit from batch processing of queries.
Implementing this class instead of directly implementing MembershipOracle
means that
the answerQuery(Word, Word)
instead of the processQueries(Collection)
method
needs to be implemented.
Modifier and Type | Interface and Description |
---|---|
static interface |
SingleQueryOracle.SingleQueryOracleDFA<I> |
static interface |
SingleQueryOracle.SingleQueryOracleMealy<I,O> |
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Modifier and Type | Method and Description |
---|---|
D |
answerQuery(net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix) |
default 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.
|
answerQuery, asOracle
default void processQueries(Collection<? extends Query<I,D>> queries)
MembershipOracle
Query.answer(Object)
method should have
been called with an argument reflecting the SUL response to the respective query.processQueries
in interface MembershipOracle<I,D>
queries
- the queries to processQuery.answer(Object)
default void processQuery(Query<I,D> query)
MembershipOracle
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.
processQuery
in interface MembershipOracle<I,D>
query
- the query to processD answerQuery(net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix)
answerQuery
in interface MembershipOracle<I,D>
answerQuery
in interface QueryAnswerer<I,D>
Copyright © 2016. All rights reserved.