public static class CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O> extends AbstractTestWordEQOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int maxDepth) |
MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minDepth,
int maxDepth) |
MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minDepth,
int maxDepth,
int batchSize) |
Modifier and Type | Method and Description |
---|---|
protected Stream<net.automatalib.words.Word<I>> |
generateTestWords(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs)
Generate the stream of test words that should be used for the current equivalence check cycle.
|
findCounterExample
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle, int maxDepth)
public MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle, int minDepth, int maxDepth)
public MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle, int minDepth, int maxDepth, int batchSize)
protected Stream<net.automatalib.words.Word<I>> generateTestWords(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
AbstractTestWordEQOracle
generateTestWords
in class AbstractTestWordEQOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>
hypothesis
- the current hypothesis of the learning algorithminputs
- the collection of inputs to considerEquivalenceOracle.findCounterExample(Object, Collection)
Copyright © 2018. All rights reserved.