Module de.learnlib.oracle.emptiness

Package de.learnlib.oracle.emptiness

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

java.lang.Object

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

de.learnlib.oracle.emptiness.AbstractBFEmptinessOracle<A,I,D>

Type Parameters:

A - automaton type

I - input symbol type

D - output domain type

All Implemented Interfaces:

AutomatonOracle<A,I,D>, EmptinessOracle<A,I,D>

Direct Known Subclasses:

DFABFEmptinessOracle, MealyBFEmptinessOracle

public abstract class AbstractBFEmptinessOracle<A extends net.automatalib.automaton.concept.DetOutputAutomaton<?,I,?,D>,I,D>
extends AbstractBFOracle<A,I,D>
implements EmptinessOracle<A,I,D>

An EmptinessOracle that tries words in a breadth-first manner.

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

Modifier	Constructor	Description
protected	AbstractBFEmptinessOracle(MembershipOracle<I,D> membershipOracle, double multiplier)

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

accepts, addWords, findCounterExample

Methods inherited from interface de.learnlib.oracle.EmptinessOracle

isCounterExample

Constructor Detail

AbstractBFEmptinessOracle

protected AbstractBFEmptinessOracle(MembershipOracle<I,D> membershipOracle,
                                    double multiplier)

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

Specified by:

findCounterExample in interface EmptinessOracle<A extends net.automatalib.automaton.concept.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