@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:
|Modifier and Type||Method and Description|
Processes the specified collection of queries.
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public void processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries)
Query.answer(Object)method should have been called with an argument reflecting the SUL response to the respective query.
Copyright © 2018. All rights reserved.