Package de.learnlib.util

Class AbstractBFOracle<A extends net.automatalib.automaton.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 net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>
extends Object
implements AutomatonOracle<A,I,D>

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

Nested Class Summary

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addWord(net.automatalib.word.Word<I> input)	Adds a new input word to the queue.
MembershipOracle<I,D>	getMembershipOracle()
double	getMultiplier()
@Nullable net.automatalib.word.Word<I>	nextInput()	Returns the next input word, by popping from a queue.
void	pre()	Clears the queue.
DefaultQuery<I,D>	processInput(A hypothesis, net.automatalib.word.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.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,
                                            net.automatalib.word.Word<I> input)

Specified by:

processInput in interface AutomatonOracle<A extends net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>

getMultiplier

public double getMultiplier()

Specified by:

getMultiplier in interface AutomatonOracle<A extends net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>

setMultiplier

public void setMultiplier(double multiplier)

Specified by:

setMultiplier in interface AutomatonOracle<A extends net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>

getMembershipOracle

public MembershipOracle<I,D> getMembershipOracle()

nextInput

public @Nullable net.automatalib.word.Word<I> nextInput()

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

Specified by:

nextInput in interface AutomatonOracle<A extends net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>

See Also:

AutomatonOracle.nextInput()

addWord

public void addWord(net.automatalib.word.Word<I> input)

Adds a new input word to the queue.

Specified by:

addWord in interface AutomatonOracle<A extends net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>

See Also:

AutomatonOracle.addWord(Word)

pre

public void pre()

Clears the queue.

Specified by:

pre in interface AutomatonOracle<A extends net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>