Package de.learnlib.oracle.equivalence

Class AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>

java.lang.Object

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

de.learnlib.oracle.equivalence.AbstractBFInclusionOracle<A,I,D>

All Implemented Interfaces:

AutomatonOracle<A,I,D>, EquivalenceOracle<A,I,D>, InclusionOracle<A,I,D>

Direct Known Subclasses:

DFABFInclusionOracle, MealyBFInclusionOracle

public abstract class AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>
extends AbstractBFOracle<A,I,D>
implements InclusionOracle<A,I,D>

An InclusionOracle that generates words in a breadth-first manner.

See Also:

InclusionOracle, AbstractBFOracle

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>

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

EquivalenceOracle.DFAEquivalenceOracle<I extends Object>, EquivalenceOracle.MealyEquivalenceOracle<I extends Object,O extends Object>, EquivalenceOracle.MooreEquivalenceOracle<I extends Object,O extends Object>

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

InclusionOracle.DFAInclusionOracle<I extends Object>, InclusionOracle.MealyInclusionOracle<I extends Object,O extends Object>

Constructor Summary

Constructors

Constructor	Description
AbstractBFInclusionOracle(MembershipOracle<I,D> membershipOracle, double multiplier)

Method Summary

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,D>	findCounterExample(A hypothesis, Collection<? extends I> inputs)
boolean	isCounterExample(A hypothesis, Iterable<? extends I> inputs, D output)

Methods inherited from class de.learnlib.util.AbstractBFOracle

addWord, getMembershipOracle, getMultiplier, nextInput, pre, processInput, setMultiplier

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

Methods inherited from interface de.learnlib.oracle.InclusionOracle

isCounterExample

Constructor Detail

AbstractBFInclusionOracle

public AbstractBFInclusionOracle(MembershipOracle<I,D> membershipOracle,
                                 double multiplier)

Method Detail

isCounterExample

public boolean isCounterExample(A hypothesis,
                                Iterable<? extends I> inputs,
                                D output)

Specified by:

isCounterExample in interface AutomatonOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>

findCounterExample

public @Nullable DefaultQuery<I,D> findCounterExample(A hypothesis,
                                                            Collection<? extends I> inputs)

Specified by:

findCounterExample in interface AutomatonOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>

Specified by:

findCounterExample in interface EquivalenceOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>