I
- input symbol classO
- output classpublic class CompleteExplorationEQOracle<I,O> extends Object implements EquivalenceOracle<DetOutputAutomaton<?,I,?,O>,I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
CompleteExplorationEQOracle(MembershipOracle<I,O> sulOracle,
int maxDepth)
Constructor.
|
CompleteExplorationEQOracle(MembershipOracle<I,O> sulOracle,
int minDepth,
int maxDepth)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,O> |
findCounterExample(DetOutputAutomaton<?,I,?,O> hypothesis,
Collection<? extends I> alphabet)
Searches for a counterexample disproving the subjected hypothesis.
|
public CompleteExplorationEQOracle(MembershipOracle<I,O> sulOracle, int maxDepth)
sulOracle
- interface to the system under learningmaxDepth
- maximum exploration depthpublic CompleteExplorationEQOracle(MembershipOracle<I,O> sulOracle, int minDepth, int maxDepth)
sulOracle
- interface to the system under learningminDepth
- minimum exploration depthmaxDepth
- maximum exploration depthpublic DefaultQuery<I,O> findCounterExample(DetOutputAutomaton<?,I,?,O> hypothesis, Collection<? extends I> alphabet)
EquivalenceOracle
null
is returned.findCounterExample
in interface EquivalenceOracle<DetOutputAutomaton<?,I,?,O>,I,O>
hypothesis
- the conjecturealphabet
- the set of inputs to considerDefaultQuery
contains the SUL output for the respective query.Copyright © 2014. All Rights Reserved.