I
- input alphabet typeO
- output alphabet type@ParametersAreNonnullByDefault public interface SymbolQueryOracle<I,O> extends MembershipOracle<I,net.automatalib.words.Word<O>>
MembershipOracle.MealyMembershipOracle
, but allows to pose
queries symbol-wise.MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
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.
|
answerQuery, answerQuery, asOracle, processQuery
O query(I i)
i
- the symbol to queryvoid reset()
default void processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> 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,net.automatalib.words.Word<O>>
queries
- the queries to processQuery.answer(Object)
Copyright © 2018. All rights reserved.