I
- input symbol typepublic class RandomWellMatchedWordsEQOracle<I> extends AbstractTestWordEQOracle<net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,I>,I,Boolean>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
RandomWellMatchedWordsEQOracle(Random random,
MembershipOracle<I,Boolean> oracle,
net.automatalib.words.VPDAlphabet<I> alphabet,
double callProb,
int maxTests,
int minLength,
int maxLength) |
RandomWellMatchedWordsEQOracle(Random random,
MembershipOracle<I,Boolean> oracle,
net.automatalib.words.VPDAlphabet<I> alphabet,
double callProb,
int maxTests,
int minLength,
int maxLength,
int batchSize) |
Modifier and Type | Method and Description |
---|---|
protected Stream<net.automatalib.words.Word<I>> |
generateTestWords(net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,I> hypothesis,
Collection<? extends I> inputs)
Generate the stream of test words that should be used for the current equivalence check cycle.
|
findCounterExample
public RandomWellMatchedWordsEQOracle(Random random, MembershipOracle<I,Boolean> oracle, net.automatalib.words.VPDAlphabet<I> alphabet, double callProb, int maxTests, int minLength, int maxLength)
public RandomWellMatchedWordsEQOracle(Random random, MembershipOracle<I,Boolean> oracle, net.automatalib.words.VPDAlphabet<I> alphabet, double callProb, int maxTests, int minLength, int maxLength, int batchSize)
protected Stream<net.automatalib.words.Word<I>> generateTestWords(net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,I> hypothesis, Collection<? extends I> inputs)
AbstractTestWordEQOracle
generateTestWords
in class AbstractTestWordEQOracle<net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,I>,I,Boolean>
hypothesis
- the current hypothesis of the learning algorithminputs
- the collection of inputs to considerEquivalenceOracle.findCounterExample(Object, Collection)
Copyright © 2018. All rights reserved.