Package de.learnlib.oracle.equivalence
Class RandomWordsEQOracle<A extends Output<I,D>,I,D>
- java.lang.Object
-
- de.learnlib.oracle.equivalence.AbstractTestWordEQOracle<A,I,D>
-
- de.learnlib.oracle.equivalence.RandomWordsEQOracle<A,I,D>
-
- All Implemented Interfaces:
EquivalenceOracle<A,I,D>
- Direct Known Subclasses:
DFARandomWordsEQOracle
,MealyRandomWordsEQOracle
,MooreRandomWordsEQOracle
public class RandomWordsEQOracle<A extends Output<I,D>,I,D> extends AbstractTestWordEQOracle<A,I,D>
-
-
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 RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests)
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random)
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected Stream<Word<I>>
generateTestWords(A hypothesis, Collection<? extends I> inputs)
Generate the stream of test words that should be used for the current equivalence check cycle.-
Methods inherited from class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
findCounterExample
-
-
-
-
Constructor Detail
-
RandomWordsEQOracle
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests)
-
RandomWordsEQOracle
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random)
-
RandomWordsEQOracle
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
-
-
Method Detail
-
generateTestWords
protected Stream<Word<I>> generateTestWords(A hypothesis, Collection<? extends I> inputs)
Description copied from class:AbstractTestWordEQOracle
Generate the stream of test words that should be used for the current equivalence check cycle.- Specified by:
generateTestWords
in classAbstractTestWordEQOracle<A extends Output<I,D>,I,D>
- Parameters:
hypothesis
- the current hypothesis of the learning algorithminputs
- the collection of inputs to consider- Returns:
- the stream of test words used for equivalence testing
- See Also:
EquivalenceOracle.findCounterExample(Object, Collection)
-
-