Package de.learnlib.oracle.emptiness
Class DFABFEmptinessOracle<I>
- java.lang.Object
-
- de.learnlib.util.AbstractBFOracle<A,I,D>
-
- de.learnlib.oracle.emptiness.DFABFEmptinessOracle<I>
-
- All Implemented Interfaces:
AutomatonOracle<DFA<?,I>,I,Boolean>
,AutomatonOracle.DFAOracle<I>
,EmptinessOracle<DFA<?,I>,I,Boolean>
,EmptinessOracle.DFAEmptinessOracle<I>
public class DFABFEmptinessOracle<I> extends AbstractBFOracle<A,I,D> implements EmptinessOracle.DFAEmptinessOracle<I>, AutomatonOracle.DFAOracle<I>
This is an auto-generated refinement. See theoriginal class
.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.AutomatonOracle
AutomatonOracle.DFAOracle<I>, AutomatonOracle.MealyOracle<I,O>
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.EmptinessOracle
EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<I,O>
-
-
Constructor Summary
Constructors Constructor Description DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle, double multiplier)
This is an auto-generated constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description @Nullable DefaultQuery<I,D>
findCounterExample(A hypothesis, Collection<? extends I> inputs)
Finds a counter example to the given hypothesis.boolean
isCounterExample(A hypothesis, Iterable<? extends I> inputs, D output)
Returns whether the given input and output is a counter example for the given hypothesis.-
Methods inherited from class de.learnlib.util.AbstractBFOracle
addWord, getMembershipOracle, getMultiplier, nextInput, pre, processInput, setMultiplier
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface de.learnlib.oracle.AutomatonOracle
addWord, addWords, findCounterExample, findCounterExample, getMultiplier, isCounterExample, nextInput, pre, processInput, setMultiplier
-
Methods inherited from interface de.learnlib.oracle.AutomatonOracle.DFAOracle
accepts
-
Methods inherited from interface de.learnlib.oracle.EmptinessOracle
findCounterExample, isCounterExample
-
-
-
-
Constructor Detail
-
DFABFEmptinessOracle
public DFABFEmptinessOracle(MembershipOracle.DFAMembershipOracle<I> membershipOracle, double multiplier)
This is an auto-generated constructor. See theoriginal constructor
.
-
-
Method Detail
-
isCounterExample
public boolean isCounterExample(A hypothesis, Iterable<? extends I> inputs, D output)
Description copied from interface:AutomatonOracle
Returns whether the given input and output is a counter example for the given hypothesis.- Specified by:
isCounterExample
in interfaceAutomatonOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>
- Parameters:
hypothesis
- the hypothesisinputs
- the input sequenceoutput
- the output corresponding to the input.- Returns:
- whether the given input and output is a counter example.
-
findCounterExample
public @Nullable DefaultQuery<I,D> findCounterExample(A hypothesis, Collection<? extends I> inputs)
Description copied from interface:AutomatonOracle
Finds a counter example to the given hypothesis. By default, the maximum number of queries performed arehypothesis.size() * getMultiplier()
.- Specified by:
findCounterExample
in interfaceAutomatonOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>
- Specified by:
findCounterExample
in interfaceEmptinessOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>
- Parameters:
hypothesis
- the hypothesis automaton.inputs
- the input alphabet.- Returns:
- the counter example, or
null
if a counter example does not exist
-
-