A
- automaton classI
- input symbol classO
- output classpublic class WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> extends Object implements EquivalenceOracle<A,I,O>
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,O> sulOracle)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,O> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
public WMethodEQOracle(int maxDepth, MembershipOracle<I,O> sulOracle)
maxDepth
- the maximum length of the "middle" part of the test casessulOracle
- interface to the system under learningpublic DefaultQuery<I,O> findCounterExample(A hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O>
hypothesis
- the conjectureinputs
- the set of inputs to considerDefaultQuery
contains the SUL output for the respective query.Copyright © 2014. All Rights Reserved.