de.learnlib.eqtests.basic

Class WpMethodEQOracle.MealyWpMethodEQOracle<I,O>

java.lang.Object

de.learnlib.eqtests.basic.WpMethodEQOracle<MealyMachine<?,I,?,O>,I,Word<O>>

de.learnlib.eqtests.basic.WpMethodEQOracle.MealyWpMethodEQOracle<I,O>

All Implemented Interfaces:

EquivalenceOracle<MealyMachine<?,I,?,O>,I,Word<O>>

Enclosing class:

WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>

public static class WpMethodEQOracle.MealyWpMethodEQOracle<I,O>
extends WpMethodEQOracle<MealyMachine<?,I,?,O>,I,Word<O>>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.eqtests.basic.WpMethodEQOracle

WpMethodEQOracle.DFAWpMethodEQOracle<I>, WpMethodEQOracle.MealyWpMethodEQOracle<I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
MealyWpMethodEQOracle(int maxDepth, MembershipOracle<I,Word<O>> sulOracle)

Method Summary

Methods inherited from class de.learnlib.eqtests.basic.WpMethodEQOracle

findCounterExample

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MealyWpMethodEQOracle

public MealyWpMethodEQOracle(int maxDepth,
                             MembershipOracle<I,Word<O>> sulOracle)