public class IncrementalWMethodEQOracle<A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> extends Object implements EquivalenceOracle<A,I,D>
Modifier and Type | Class and Description |
---|---|
static class |
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> |
static class |
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle) |
IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
int maxDepth) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,D> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
int |
getMaxDepth() |
void |
setMaxDepth(int maxDepth) |
public IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,D> oracle)
public IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,D> oracle, int maxDepth)
public int getMaxDepth()
public 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 net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.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 © 2016. All rights reserved.