I
- input symbol typeD
- output domain typepublic class CompleteExplorationEQOracle<I,D> extends AbstractTestWordEQOracle<net.automatalib.automata.concepts.Output<I,D>,I,D>
Modifier and Type | Class and Description |
---|---|
static class |
CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I> |
static class |
CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth)
Constructor.
|
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int minDepth,
int maxDepth)
Constructor.
|
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int minDepth,
int maxDepth,
int batchSize)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected Stream<net.automatalib.words.Word<I>> |
generateTestWords(net.automatalib.automata.concepts.Output<I,D> hypothesis,
Collection<? extends I> inputs)
Generate the stream of test words that should be used for the current equivalence check cycle.
|
findCounterExample
public CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int maxDepth)
sulOracle
- interface to the system under learningmaxDepth
- maximum exploration depthpublic CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth)
sulOracle
- interface to the system under learningminDepth
- minimum exploration depthmaxDepth
- maximum exploration depthpublic CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth, int batchSize)
sulOracle
- interface to the system under learningminDepth
- minimum exploration depthmaxDepth
- maximum exploration depthbatchSize
- size of the batches sent to the membership oracleprotected Stream<net.automatalib.words.Word<I>> generateTestWords(net.automatalib.automata.concepts.Output<I,D> hypothesis, Collection<? extends I> inputs)
AbstractTestWordEQOracle
generateTestWords
in class AbstractTestWordEQOracle<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.