Package de.learnlib.oracle
Interface MembershipOracle.MooreMembershipOracle<I,O>
-
- Type Parameters:
I
- input symbol typeO
- output symbol type
- All Superinterfaces:
BatchProcessor<Query<I,Word<O>>>
,MembershipOracle<I,Word<O>>
,QueryAnswerer<I,Word<O>>
- All Known Subinterfaces:
LearningCacheOracle.MooreLearningCacheOracle<I,O>
,SingleQueryOracle.SingleQueryOracleMoore<I,O>
- All Known Implementing Classes:
MooreCacheOracle
,MooreCounterOracle
,MooreOutputHistogramOracle
,MooreSimulatorOracle
,ThreadSafeMooreCacheOracle
- Enclosing interface:
- MembershipOracle<I,D>
public static interface MembershipOracle.MooreMembershipOracle<I,O> extends MembershipOracle<I,Word<O>>
A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type. Queries should be answered according to the semantics of state-output systems such asMooreMachine
s. This means an input sequence of lengthn
results in an output word of lengthn+1
.
-
-
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
-
-