MembershipOracle.DFAMembershipOracle (LearnLib 0.17.0 API)

Type Parameters:

I - input symbol type

All Superinterfaces:

BatchProcessor<Query<I,Boolean>>, MembershipOracle<I,Boolean>, QueryAnswerer<I,Boolean>

All Known Subinterfaces:

LearningCacheOracle.DFALearningCacheOracle<I>, SingleQueryOracle.SingleQueryOracleDFA<I>

All Known Implementing Classes:

DFACacheOracle, DFACounterOracle, DFAHashCacheOracle, DFAHistogramOracle, DFASimulatorOracle, NFASimulatorOracle, SBASimulatorOracle, SEVPASimulatorOracle, SPASimulatorOracle, ThreadSafeDFACacheOracle

Enclosing interface:

MembershipOracle<I,D>
```
public static interface MembershipOracle.DFAMembershipOracle<I>
extends MembershipOracle<I,Boolean>
```
A specialization of the MembershipOracle that binds the output domain to Booleans. Queries should be answered according to the semantics of acceptors such as DFAs. This means an input sequence of length n results in a single boolean output.

- Nested Class Summary
  - Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle
    MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>
- Method Summary
  - Methods inherited from interface de.learnlib.oracle.MembershipOracle
    answerQuery, answerQuery, asOracle, processBatch, processQueries, processQuery