A - the automaton typeI - the input typeD - the output typepublic abstract class AbstractBFOracle<A extends DeterministicAutomaton<?,I,?>,I,D> extends Object implements AutomatonOracle<A,I,D>
AutomatonOracle that processes words in a breadth-first manner.AutomatonOracle.DFAOracle<I>, AutomatonOracle.MealyOracle<I,O>| Modifier | Constructor and Description |
|---|---|
protected |
AbstractBFOracle(MembershipOracle<I,D> membershipOracle,
double multiplier) |
| Modifier and Type | Method and Description |
|---|---|
void |
addWord(Word<I> input)
Adds a new input word to the queue.
|
MembershipOracle<I,D> |
getMembershipOracle() |
double |
getMultiplier() |
@Nullable Word<I> |
nextInput()
Returns the next input word, by popping from a queue.
|
void |
pre()
Clears the queue.
|
DefaultQuery<I,D> |
processInput(A hypothesis,
Word<I> input) |
void |
setMultiplier(double multiplier) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitaccepts, addWords, findCounterExample, findCounterExample, isCounterExampleprotected AbstractBFOracle(MembershipOracle<I,D> membershipOracle, double multiplier)
public DefaultQuery<I,D> processInput(A hypothesis, Word<I> input)
processInput in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>public double getMultiplier()
getMultiplier in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>public void setMultiplier(double multiplier)
setMultiplier in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>public MembershipOracle<I,D> getMembershipOracle()
public @Nullable Word<I> nextInput()
nextInput in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>AutomatonOracle.nextInput()public void addWord(Word<I> input)
addWord in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>AutomatonOracle.addWord(Word)public void pre()
pre in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>Copyright © 2020. All rights reserved.