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>, AutomatonOracle.MealyOracle<I,O>

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

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

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)	Finds a counter example to the given hypothesis.
boolean	isCounterExample(A hypothesis, Iterable<? extends I> inputs, D output)	Returns whether the given input and output is a counter example for the given hypothesis.

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)

Description copied from interface: AutomatonOracle

Returns whether the given input and output is a counter example for the given hypothesis.

Specified by:

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

Parameters:

hypothesis - the hypothesis

inputs - the input sequence

output - the output corresponding to the input.

Returns:

whether the given input and output is a counter example.

findCounterExample

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

Description copied from interface: AutomatonOracle

Finds a counter example to the given hypothesis. By default, the maximum number of queries performed are hypothesis.size() * getMultiplier().

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>

Parameters:

hypothesis - the hypothesis automaton.

inputs - the input alphabet.

Returns:

the counter example, or null if a counter example does not exist