Package de.learnlib.oracle
Interface AutomatonOracle.MealyOracle<I,O>
-
- All Superinterfaces:
AutomatonOracle<MealyMachine<?,I,?,O>,I,Word<O>>
- All Known Implementing Classes:
MealyBFEmptinessOracle
,MealyBFInclusionOracle
- Enclosing interface:
- AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>
public static interface AutomatonOracle.MealyOracle<I,O> extends AutomatonOracle<MealyMachine<?,I,?,O>,I,Word<O>>
-
-
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(MealyMachine<?,I,?,O> 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(MealyMachine<?,I,?,O> hypothesis, Iterable<? extends I> input)
Description copied from interface:AutomatonOracle
Returns whether the given input is accepted by the given hypothesis.- Specified by:
accepts
in interfaceAutomatonOracle<MealyMachine<?,I,?,O>,I,Word<O>>
- Parameters:
hypothesis
- the hypothesis automaton.input
- the input.- Returns:
- whether the given input is accepted.
-
-