A
- automaton typeI
- input symbol typeD
- output domain typepublic class WpMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> extends AbstractTestWordEQOracle<A,I,D>
Modifier and Type | Class and Description |
---|---|
static class |
WpMethodEQOracle.DFAWpMethodEQOracle<I> |
static class |
WpMethodEQOracle.MealyWpMethodEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
WpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth)
Constructor.
|
WpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth,
int batchSize)
Constructor.
|
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 WpMethodEQOracle(MembershipOracle<I,D> sulOracle, int maxDepth)
sulOracle
- interface to the system under learningmaxDepth
- the maximum length of the "middle" part of the test casespublic WpMethodEQOracle(MembershipOracle<I,D> sulOracle, int maxDepth, int batchSize)
sulOracle
- interface to the system under learningmaxDepth
- the maximum length of the "middle" part of the test casesbatchSize
- size of the batches sent to the membership oracleprotected Stream<net.automatalib.words.Word<I>> generateTestWords(A hypothesis, Collection<? extends I> inputs)
AbstractTestWordEQOracle
generateTestWords
in class AbstractTestWordEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & 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.