de.learnlib.util

Class AbstractBFOracle<A extends DeterministicAutomaton<?,I,?>,I,D>

java.lang.Object

de.learnlib.util.AbstractBFOracle<A,I,D>

Type Parameters:

A - the automaton type

I - the input type

D - the output type

All Implemented Interfaces:

AutomatonOracle<A,I,D>

public abstract class AbstractBFOracle<A extends DeterministicAutomaton<?,I,?>,I,D>
extends Object
implements AutomatonOracle<A,I,D>

An AutomatonOracle that processes words in a breadth-first manner.

Author:

Jeroen Meijer

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.AutomatonOracle

AutomatonOracle.DFAOracle<I>, AutomatonOracle.MealyOracle<I,O>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractBFOracle(MembershipOracle<I,D> membershipOracle, double multiplier)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.api.oracle.AutomatonOracle

accepts, addWords, findCounterExample, findCounterExample, isCounterExample

Constructor Detail

AbstractBFOracle

protected AbstractBFOracle(MembershipOracle<I,D> membershipOracle,
                           double multiplier)

Method Detail

processInput

public DefaultQuery<I,D> processInput(A hypothesis,
                                      Word<I> input)

Specified by:

processInput in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>

getMultiplier

public double getMultiplier()

Specified by:

getMultiplier in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>

setMultiplier

public void setMultiplier(double multiplier)

Specified by:

setMultiplier in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>

getMembershipOracle

public MembershipOracle<I,D> getMembershipOracle()

nextInput

public @Nullable Word<I> nextInput()

Returns the next input word, by popping from a queue.

Specified by:

nextInput in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>

See Also:

AutomatonOracle.nextInput()

addWord

public void addWord(Word<I> input)

Adds a new input word to the queue.

Specified by:

addWord in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>

See Also:

AutomatonOracle.addWord(Word)

pre

public void pre()

Clears the queue.

Specified by:

pre in interface AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>