Package de.learnlib.oracle
Interface AutomatonOracle.DFAOracle<I>
-
- All Superinterfaces:
AutomatonOracle<DFA<?,I>,I,Boolean>
- All Known Implementing Classes:
DFABFEmptinessOracle
,DFABFInclusionOracle
- Enclosing interface:
- AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>
public static interface AutomatonOracle.DFAOracle<I> extends AutomatonOracle<DFA<?,I>,I,Boolean>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.AutomatonOracle
AutomatonOracle.DFAOracle<I>, AutomatonOracle.MealyOracle<I,O>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default boolean
accepts(DFA<?,I> hypothesis, Iterable<? extends I> input)
Returns whether the given input is accepted by the given hypothesis.-
Methods inherited from interface de.learnlib.oracle.AutomatonOracle
addWord, addWords, findCounterExample, findCounterExample, getMultiplier, isCounterExample, nextInput, pre, processInput, setMultiplier
-
-
-
-
Method Detail
-
accepts
default boolean accepts(DFA<?,I> hypothesis, Iterable<? extends I> input)
Description copied from interface:AutomatonOracle
Returns whether the given input is accepted by the given hypothesis.
-
-