public static class CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I> extends AbstractTestWordEQOracle<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> implements EquivalenceOracle.DFAEquivalenceOracle<I>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle,
int maxDepth) |
DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minDepth,
int maxDepth) |
DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minDepth,
int maxDepth,
int batchSize) |
Modifier and Type | Method and Description |
---|---|
protected Stream<net.automatalib.words.Word<I>> |
generateTestWords(net.automatalib.automata.fsa.DFA<?,I> 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 DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle, int maxDepth)
public DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle, int minDepth, int maxDepth)
public DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle, int minDepth, int maxDepth, int batchSize)
protected Stream<net.automatalib.words.Word<I>> generateTestWords(net.automatalib.automata.fsa.DFA<?,I> hypothesis, Collection<? extends I> inputs)
AbstractTestWordEQOracle
generateTestWords
in class AbstractTestWordEQOracle<net.automatalib.automata.fsa.DFA<?,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.