de.learnlib.eqtests.basic

Class RandomWordsEQOracle.DFARandomWordsEQOracle<I>

java.lang.Object

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

de.learnlib.eqtests.basic.RandomWordsEQOracle.DFARandomWordsEQOracle<I>

All Implemented Interfaces:

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

Enclosing class:

RandomWordsEQOracle<I,O,A extends OutputAutomaton<?,I,?,O>>

public static class RandomWordsEQOracle.DFARandomWordsEQOracle<I>
extends RandomWordsEQOracle<I,Boolean,DFA<?,I>>
implements EquivalenceOracle.DFAEquivalenceOracle<I>

Nested Class Summary

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

RandomWordsEQOracle.DFARandomWordsEQOracle<I>, RandomWordsEQOracle.MealyRandomWordsEQOracle<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
RandomWordsEQOracle.DFARandomWordsEQOracle(MembershipOracle<I,Boolean> mqOracle, int minLength, int maxLength, int maxTests, Random random)

Method Summary

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

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

RandomWordsEQOracle.DFARandomWordsEQOracle

public RandomWordsEQOracle.DFARandomWordsEQOracle(MembershipOracle<I,Boolean> mqOracle,
                                          int minLength,
                                          int maxLength,
                                          int maxTests,
                                          Random random)