de.learnlib.oracle.emptiness

Class DFABFEmptinessOracle<I>

java.lang.Object

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

de.learnlib.oracle.emptiness.DFABFEmptinessOracle<I>

All Implemented Interfaces:

AutomatonOracle<DFA<?,I>,I,Boolean>, AutomatonOracle.DFAOracle<I>, EmptinessOracle<DFA<?,I>,I,Boolean>, EmptinessOracle.DFAEmptinessOracle<I>

public class DFABFEmptinessOracle<I>
extends AbstractBFOracle<A,I,D>
implements EmptinessOracle.DFAEmptinessOracle<I>, AutomatonOracle.DFAOracle<I>

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

Nested Class Summary

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

EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<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
DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle, double multiplier) This is an auto-generated constructor.

Method Summary

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

findCounterExample, isCounterExample

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

accepts

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

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

Constructor Detail

DFABFEmptinessOracle

public DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> 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>