@ParametersAreNonnullByDefault public class SULOracle<I,O> extends Object implements MembershipOracle.MealyMembershipOracle<I,O>
This membership oracle is thread-safe. Thread-safety is obtained in either of the following ways:
SUL
can be forked
, each thread from which processQueries(Collection)
will
maintain a thread-local
fork of the SUL, which is used for processing queries.processQueries(Collection)
will be
synchronized explicitly.MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Modifier and Type | Method and Description |
---|---|
void |
processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries)
Processes the specified collection of queries.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
answerQuery, answerQuery, asOracle, processQuery
public 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.