Package de.learnlib.oracle

Interface MembershipOracle.MooreMembershipOracle<I,​O>

  • Type Parameters:
    I - input symbol type
    O - output symbol type
    All Superinterfaces:
    BatchProcessor<Query<I,​net.automatalib.word.Word<O>>>, MembershipOracle<I,​net.automatalib.word.Word<O>>, QueryAnswerer<I,​net.automatalib.word.Word<O>>
    All Known Subinterfaces:
    SingleQueryOracle.SingleQueryOracleMoore<I,​O>
    Enclosing interface:
    MembershipOracle<I,​D>
    public static interface MembershipOracle.MooreMembershipOracle<I,​O>
extends MembershipOracle<I,​net.automatalib.word.Word<O>>
    A specialization of the MembershipOracle that binds the output domain to Words of the specified output type. Queries should be answered according to the semantics of state-output systems such as MooreMachines. This means an input sequence of length n results in an output word of length n+1.