Package de.learnlib.oracle.emptiness

Class MealyBFEmptinessOracle<I,O>

java.lang.Object

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

de.learnlib.oracle.emptiness.MealyBFEmptinessOracle<I,O>

All Implemented Interfaces:

AutomatonOracle<MealyMachine<?,I,?,O>,I,Word<O>>, AutomatonOracle.MealyOracle<I,O>, EmptinessOracle<MealyMachine<?,I,?,O>,I,Word<O>>, EmptinessOracle.MealyEmptinessOracle<I,O>

public class MealyBFEmptinessOracle<I,O>
extends AbstractBFOracle<A,I,D>
implements EmptinessOracle.MealyEmptinessOracle<I,O>, AutomatonOracle.MealyOracle<I,O>

This is an auto-generated refinement. See the original class.

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.EmptinessOracle

EmptinessOracle.DFAEmptinessOracle<I extends Object>, EmptinessOracle.MealyEmptinessOracle<I extends Object,O extends Object>

Constructor Summary

Constructors

Constructor	Description
MealyBFEmptinessOracle(MembershipOracle.MealyMembershipOracle<I,O> membershipOracle, double multiplier)	This is an auto-generated constructor.

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

addWord, addWords, findCounterExample, findCounterExample, getMultiplier, isCounterExample, nextInput, pre, processInput, setMultiplier

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

accepts

Methods inherited from interface de.learnlib.oracle.EmptinessOracle

findCounterExample, isCounterExample

Constructor Detail

MealyBFEmptinessOracle

public MealyBFEmptinessOracle(MembershipOracle.MealyMembershipOracle<I,O> membershipOracle,
                              double multiplier)

This is an auto-generated constructor. See the original constructor.

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 EmptinessOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>