public class RandomWordsEQOracle<I,D,A extends OutputAutomaton<?,I,?,D>> extends Object implements EquivalenceOracle<A,I,D>
Modifier and Type | Class and Description |
---|---|
static class |
RandomWordsEQOracle.DFARandomWordsEQOracle<I> |
static class |
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> |
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random) |
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random,
int batchSize) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,D> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
public RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random)
public DefaultQuery<I,D> findCounterExample(A hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<A extends OutputAutomaton<?,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.