public class DFABFEmptinessOracle<I> extends AbstractBFOracle<A,I,D> implements EmptinessOracle.DFAEmptinessOracle<I>, AutomatonOracle.DFAOracle<I>
original class.EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<I,O>AutomatonOracle.DFAOracle<I>, AutomatonOracle.MealyOracle<I,O>| Constructor and Description |
|---|
DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle,
double multiplier)
This is an auto-generated constructor.
|
| Modifier and Type | Method and Description |
|---|---|
@Nullable DefaultQuery<I,D> |
findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
boolean |
isCounterExample(A hypothesis,
Iterable<? extends I> inputs,
D output) |
addWord, getMembershipOracle, getMultiplier, nextInput, pre, processInput, setMultiplierclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitfindCounterExample, isCounterExampleacceptsaddWord, addWords, findCounterExample, findCounterExample, getMultiplier, isCounterExample, nextInput, pre, processInput, setMultiplierpublic DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle, double multiplier)
original constructor.public boolean isCounterExample(A hypothesis,
Iterable<? extends I> inputs,
D output)
isCounterExample in interface AutomatonOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>public @Nullable DefaultQuery<I,D> findCounterExample(A hypothesis, Collection<? extends I> inputs)
findCounterExample in interface AutomatonOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>findCounterExample in interface EmptinessOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>Copyright © 2020. All rights reserved.