de.learnlib.eqtests.basic

Class IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>

java.lang.Object

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

de.learnlib.eqtests.basic.IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>

All Implemented Interfaces:

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

Enclosing class:

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

public static class IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>
extends IncrementalWMethodEQOracle<MealyMachine<?,I,?,O>,I,Word<O>>
implements EquivalenceOracle.MealyEquivalenceOracle<I,O>

Nested Class Summary

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

IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I>, IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<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
MealyIncrementalWMethodEQOracle(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
MealyIncrementalWMethodEQOracle(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, int maxDepth)

Method Summary

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

findCounterExample, getMaxDepth, setMaxDepth

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

MealyIncrementalWMethodEQOracle

public MealyIncrementalWMethodEQOracle(Alphabet<I> alphabet,
                                       MembershipOracle<I,Word<O>> oracle,
                                       int maxDepth)

MealyIncrementalWMethodEQOracle

public MealyIncrementalWMethodEQOracle(Alphabet<I> alphabet,
                                       MembershipOracle<I,Word<O>> oracle)