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.

Author:

Jeroen Meijer

See Also:

InclusionOracle, AbstractBFOracle

Nested Class Summary

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

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

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

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
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.api.oracle.InclusionOracle

isCounterExample

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

accepts, addWords, findCounterExample

Constructor Detail

AbstractBFInclusionOracle

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

Method Detail

isCounterExample

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

Specified by:

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

findCounterExample

@Nullable
public 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>