Module de.learnlib.oracle.emptiness

Package de.learnlib.oracle.emptiness

Class DFABFEmptinessOracle<I>

java.lang.Object

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

de.learnlib.oracle.emptiness.AbstractBFEmptinessOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AutomatonOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, AutomatonOracle.DFAOracle<I>, EmptinessOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, EmptinessOracle.DFAEmptinessOracle<I>

public class DFABFEmptinessOracle<I>
extends AbstractBFEmptinessOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>
implements EmptinessOracle.DFAEmptinessOracle<I>, AutomatonOracle.DFAOracle<I>

A type-specific refinement of AbstractBFEmptinessOracle.

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
DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle, double multiplier)	Delegates to AbstractBFEmptinessOracle(MembershipOracle, double).

Method Summary

Methods inherited from class de.learnlib.oracle.emptiness.AbstractBFEmptinessOracle

findCounterExample, isCounterExample

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

accepts

Methods inherited from interface de.learnlib.oracle.EmptinessOracle

findCounterExample, isCounterExample

Constructor Detail

DFABFEmptinessOracle

public DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle,
                            double multiplier)

Delegates to AbstractBFEmptinessOracle(MembershipOracle, double).

Parameters:

membershipOracle - maps to the membershipOracle parameter of the delegate

multiplier - maps to the multiplier parameter of the delegate