Mapper (LearnLib :: API 0.17.0 API)

Type Parameters:

AI - abstract input symbol type.

AO - abstract output symbol type.

CI - concrete input symbol type.

CO - concrete output symbol type.

All Known Subinterfaces:

Mapper.AsynchronousMapper<AI,AO,CI,CO>, Mapper.SynchronousMapper<AI,AO,CI,CO>, SULMapper<AI,AO,CI,CO>
```
public interface Mapper<AI,AO,CI,CO>
```
A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.
The notion of "abstract" and "concrete" is not universally defined, and mostly depends on the chosen perspective. Generally speaking, the point of a Mapper<AI,AO,CI,CO> is to translate a SUL<CI,CO> into a SUL<AI,AO>, and additionally provide facilities to map exceptions occurring at the concrete level to symbols at the abstract level.

Nested Class Summary

Nested Classes
Modifier and Type	Interface	Description
`static interface`	`Mapper.AsynchronousMapper<AI,AO,CI,CO>`	A mapper refinement to establish the contract of an asynchronous, query-wise translation of input words.
`static interface`	`Mapper.SynchronousMapper<AI,AO,CI,CO>`	A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`CI`	`mapInput(AI abstractInput)`	Method that maps an abstract input to a corresponding concrete input.
`AO`	`mapOutput(CO concreteOutput)`	Method that maps a concrete output to a corresponding abstract output.
`default void`	`post()`	Method that is invoked after all translation steps on a word are performed.
`default void`	`pre()`	Method that is invoked before any translation steps on a word are performed.

- Method Detail
  - pre
```
default void pre()
```
    Method that is invoked before any translation steps on a word are performed. Usually left un-implemented for stateless mappers.
  - post
```
default void post()
```
    Method that is invoked after all translation steps on a word are performed. Usually left un-implemented for stateless mappers.
  - mapInput
```
CI mapInput(AI abstractInput)
```
    Method that maps an abstract input to a corresponding concrete input.
    
    Parameters:
    
    abstractInput - the abstract input
    
    Returns:
    
    the concrete input
  - mapOutput
```
AO mapOutput(CO concreteOutput)
```
    Method that maps a concrete output to a corresponding abstract output.
    
    Parameters:
    
    concreteOutput - the concrete output
    
    Returns:
    
    the abstract output