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 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 processdefault 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)
D 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 © 2018. All rights reserved.