Module de.learnlib.oracle.equivalence

Package de.learnlib.oracle.equivalence

Class DFARandomWordsEQOracle<I>

java.lang.Object

de.learnlib.oracle.equivalence.AbstractTestWordEQOracle<A,I,D>

de.learnlib.oracle.equivalence.RandomWordsEQOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

de.learnlib.oracle.equivalence.DFARandomWordsEQOracle<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, EquivalenceOracle.DFAEquivalenceOracle<I>

public class DFARandomWordsEQOracle<I>
extends RandomWordsEQOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>
implements EquivalenceOracle.DFAEquivalenceOracle<I>

A type-specific refinement of RandomWordsEQOracle.

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor	Description
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I> mqOracle, int minLength, int maxLength, int maxTests)	Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int).
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I> mqOracle, int minLength, int maxLength, int maxTests, Random random)	Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random).
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)	Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random, int).

Method Summary

Methods inherited from class de.learnlib.oracle.equivalence.RandomWordsEQOracle

generateTestWords

Methods inherited from class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle

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

findCounterExample

Constructor Detail

DFARandomWordsEQOracle

public DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle<I> mqOracle,
                              int minLength,
                              int maxLength,
                              int maxTests)

Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int).

Parameters:

mqOracle - maps to the mqOracle parameter of the delegate

minLength - maps to the minLength parameter of the delegate

maxLength - maps to the maxLength parameter of the delegate

maxTests - maps to the maxTests parameter of the delegate

DFARandomWordsEQOracle

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

Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random).

Parameters:

mqOracle - maps to the mqOracle parameter of the delegate

minLength - maps to the minLength parameter of the delegate

maxLength - maps to the maxLength parameter of the delegate

maxTests - maps to the maxTests parameter of the delegate

random - maps to the random parameter of the delegate

DFARandomWordsEQOracle

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

Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random, int).

Parameters:

mqOracle - maps to the mqOracle parameter of the delegate

minLength - maps to the minLength parameter of the delegate

maxLength - maps to the maxLength parameter of the delegate

maxTests - maps to the maxTests parameter of the delegate

random - maps to the random parameter of the delegate

batchSize - maps to the batchSize parameter of the delegate