de.learnlib.eqtests.basic

Class WMethodEQOracle.DFAWMethodEQOracle<I>

java.lang.Object

de.learnlib.eqtests.basic.WMethodEQOracle<DFA<?,I>,I,Boolean>

de.learnlib.eqtests.basic.WMethodEQOracle.DFAWMethodEQOracle<I>

All Implemented Interfaces:

EquivalenceOracle<DFA<?,I>,I,Boolean>, EquivalenceOracle.DFAEquivalenceOracle<I>

Enclosing class:

WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O>

public static class WMethodEQOracle.DFAWMethodEQOracle<I>
extends WMethodEQOracle<DFA<?,I>,I,Boolean>
implements EquivalenceOracle.DFAEquivalenceOracle<I>

Nested Class Summary

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

WMethodEQOracle.DFAWMethodEQOracle<I>, WMethodEQOracle.MealyWMethodEQOracle<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
WMethodEQOracle.DFAWMethodEQOracle(int maxDepth, MembershipOracle<I,Boolean> sulOracle)

Method Summary

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

findCounterExample

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

findCounterExample

Constructor Detail

WMethodEQOracle.DFAWMethodEQOracle

public WMethodEQOracle.DFAWMethodEQOracle(int maxDepth,
                                  MembershipOracle<I,Boolean> sulOracle)