Module de.learnlib.oracle.emptiness

Package de.learnlib.oracle.emptiness

Class MealyBFEmptinessOracle<I,O>

java.lang.Object

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

de.learnlib.oracle.emptiness.AbstractBFEmptinessOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>

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

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AutomatonOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, AutomatonOracle.MealyOracle<I,O>, EmptinessOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, EmptinessOracle.MealyEmptinessOracle<I,O>

public class MealyBFEmptinessOracle<I,O>
extends AbstractBFEmptinessOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>
implements EmptinessOracle.MealyEmptinessOracle<I,O>, AutomatonOracle.MealyOracle<I,O>

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
MealyBFEmptinessOracle(MembershipOracle.MealyMembershipOracle<I,O> 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.MealyOracle

accepts

Methods inherited from interface de.learnlib.oracle.EmptinessOracle

findCounterExample, isCounterExample

Constructor Detail

MealyBFEmptinessOracle

public MealyBFEmptinessOracle(MembershipOracle.MealyMembershipOracle<I,O> 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