A
- automaton typeI
- input symbol typeD
- output domain typepublic class WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> extends Object implements EquivalenceOracle<A,I,D>
Modifier and Type | Class and Description |
---|---|
static class |
WMethodEQOracle.DFAWMethodEQOracle<I> |
static class |
WMethodEQOracle.MealyWMethodEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
WMethodEQOracle(int maxDepth,
MembershipOracle<I,D> sulOracle)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,D> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
void |
setMaxDepth(int maxDepth) |
public WMethodEQOracle(int maxDepth, MembershipOracle<I,D> sulOracle)
maxDepth
- the maximum length of the "middle" part of the test casessulOracle
- interface to the system under learningpublic void setMaxDepth(int maxDepth)
public DefaultQuery<I,D> findCounterExample(A hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>
hypothesis
- the conjectureinputs
- the set of inputs to consider, this should be a subset of the input alphabet
of the provided hypothesisDefaultQuery
contains the SUL output for the respective query.Copyright © 2015. All rights reserved.