public class RandomWordsEQOracle<A extends net.automatalib.automata.concepts.Output<I,D>,I,D> extends AbstractTestWordEQOracle<A,I,D>
Modifier and Type | Class and Description |
---|---|
static class |
RandomWordsEQOracle.DFARandomWordsEQOracle<I> |
static class |
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and 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) |
Modifier and Type | Method and Description |
---|---|
protected Stream<net.automatalib.words.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.
|
findCounterExample
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests)
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random)
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
protected Stream<net.automatalib.words.Word<I>> generateTestWords(A hypothesis, Collection<? extends I> inputs)
AbstractTestWordEQOracle
generateTestWords
in class AbstractTestWordEQOracle<A extends net.automatalib.automata.concepts.Output<I,D>,I,D>
hypothesis
- the current hypothesis of the learning algorithminputs
- the collection of inputs to considerEquivalenceOracle.findCounterExample(Object, Collection)
Copyright © 2018. All rights reserved.