AutomatonOracle.DFAOracle (LearnLib 0.18.0 API)

All Superinterfaces:

AutomatonOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

All Known Implementing Classes:

DFABFEmptinessOracle, DFABFInclusionOracle

Enclosing interface:

AutomatonOracle<A extends net.automatalib.automaton.DeterministicAutomaton<?,I,?>,I,D>
```
public static interface AutomatonOracle.DFAOracle<I>
extends AutomatonOracle<net.automatalib.automaton.fsa.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(net.automatalib.automaton.fsa.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(net.automatalib.automaton.fsa.DFA<?,I> 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 interface AutomatonOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>
    
    Parameters:
    
    hypothesis - the hypothesis automaton.
    
    input - the input.
    
    Returns:
    
    whether the given input is accepted.