de.learnlib.api.oracle

Interface AutomatonOracle.DFAOracle<I>

All Superinterfaces:

AutomatonOracle<DFA<?,I>,I,Boolean>

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.api.oracle.AutomatonOracle

AutomatonOracle.DFAOracle<I>, AutomatonOracle.MealyOracle<I,O>

Method Summary

Modifier and Type	Method and Description
default boolean	accepts(DFA<?,I> hypothesis, Iterable<? extends I> input, int length) Returns whether the given input is accepted by the given hypothesis.

Methods inherited from interface de.learnlib.api.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,
                        int length)

Description copied from interface: AutomatonOracle

Returns whether the given input is accepted by the given hypothesis.

Specified by:

accepts in interface AutomatonOracle<DFA<?,I>,I,Boolean>

Parameters:

hypothesis - the hypothesis automaton.

input - the input.

length - the length of the input.

Returns:

whether the given input is accepted.