Package de.learnlib.oracle.equivalence

Class AbstractBFInclusionOracle<A extends net.automatalib.automaton.concept.DetOutputAutomaton<?,I,?,D>,I,D>

java.lang.Object

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

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

Type Parameters:

A - automaton type

I - input symbol type

D - output domain type

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 net.automatalib.automaton.concept.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 net.automatalib.automaton.concept.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 net.automatalib.automaton.concept.DetOutputAutomaton<?,I,?,D>,I,D>

Specified by:

findCounterExample in interface EquivalenceOracle<A extends net.automatalib.automaton.concept.DetOutputAutomaton<?,I,?,D>,I,D>