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) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
processQueries, 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>
Copyright © 2016. All rights reserved.