I
- input symbol typeO
- output symbol typepublic class RandomWalkEQOracle<I,O> extends Object implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
RandomWalkEQOracle(double restartProbability,
long maxSteps,
boolean resetStepCount,
Random random,
SUL<I,O> sul) |
RandomWalkEQOracle(double restartProbability,
long maxSteps,
Random random,
SUL<I,O> sul)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,net.automatalib.words.Word<O>> |
findCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
public RandomWalkEQOracle(double restartProbability, long maxSteps, Random random, SUL<I,O> sul)
restartProbability
- maxSteps
- random
- sul
- public DefaultQuery<I,net.automatalib.words.Word<O>> findCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>
hypothesis
- inputs
- Copyright © 2016. All rights reserved.