Package de.learnlib

Interface Mapper.AsynchronousMapper<AI,​AO,​CI,​CO>

  • Type Parameters:
    AI - abstract input symbol type.
    AO - abstract output symbol type.
    CI - concrete input symbol type.
    CO - concrete output symbol type.
    All Superinterfaces:
    Mapper<AI,​AO,​CI,​CO>
    Enclosing interface:
    Mapper<AI,​AO,​CI,​CO>
    public static interface Mapper.AsynchronousMapper<AI,​AO,​CI,​CO>
extends Mapper<AI,​AO,​CI,​CO>
    A mapper refinement to establish the contract of an asynchronous, query-wise translation of input words. This means, for a sequence of input symbols, Mapper.mapInput(Object) may be called multiple times before any call to Mapper.mapOutput(Object) occurs.

    Especially in the context of translating queries for Mealy machines, which support the concept of un-answered prefixes (combined with answered suffixes) this means, the number of Mapper.mapInput(Object) invocations may be larger than the size of the output word passed to the Mapper.mapOutput(Object) function.

    See Also:
    Mapper.SynchronousMapper