I
- input symbol typeD
- (suffix) output domain typepublic class SimulatorOracle<I,D> extends Object implements SingleQueryOracle<I,D>
SuffixOutput
concept, allowing
to identify a suffix part in the output (relative to a prefix/suffix subdivision in the input).Modifier and Type | Class and Description |
---|---|
static class |
SimulatorOracle.DFASimulatorOracle<I> |
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
SimulatorOracle(net.automatalib.automata.concepts.SuffixOutput<I,D> automaton)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
D |
answerQuery(net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix) |
void |
processQueries(Collection<? extends Query<I,D>> queries)
Processes the specified collection of queries.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
processQuery
answerQuery, asOracle
public 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>
answerQuery
in interface SingleQueryOracle<I,D>
public 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>
processQueries
in interface SingleQueryOracle<I,D>
queries
- the queries to processQuery.answer(Object)
Copyright © 2018. All rights reserved.