public class IncrementalWMethodEQOracle<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 |
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> |
static class |
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle,
net.automatalib.words.Alphabet<I> alphabet) |
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth) |
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth,
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.
|
int |
getMaxDepth() |
void |
setMaxDepth(int maxDepth) |
findCounterExample
public IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, net.automatalib.words.Alphabet<I> alphabet)
public IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, net.automatalib.words.Alphabet<I> alphabet, int maxDepth)
public IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, net.automatalib.words.Alphabet<I> alphabet, int maxDepth, int batchSize)
public int getMaxDepth()
public void setMaxDepth(int maxDepth)
protected 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.