de.learnlib.api

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 a 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.

Author:

frohme

See Also:

Mapper.SynchronousMapper

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.Mapper

Mapper.AsynchronousMapper<AI,AO,CI,CO>, Mapper.SynchronousMapper<AI,AO,CI,CO>

Method Summary

Methods inherited from interface de.learnlib.api.Mapper

mapInput, mapOutput, post, pre