Package de.learnlib.mapper

Class SULMappers

java.lang.Object

de.learnlib.mapper.SULMappers

public final class SULMappers
extends Object

Utility methods for manipulating mappers.

Method Summary

Modifier and Type	Method	Description
static <AI,AO,CI,CO> SUL<AI,AO>	apply(SULMapper<? super AI,? extends AO,CI,CO> mapper, SUL<? super CI,? extends CO> sul)
static <AI,AO,ACI,CAO,CI,CO> SULMapper<AI,AO,CI,CO>	compose(SULMapper<? super AI,? extends AO,ACI,CAO> outerMapper, SULMapper<? super ACI,? extends CAO,? extends CI,? super CO> innerMapper)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

compose

public static <AI,AO,ACI,CAO,CI,CO> SULMapper<AI,AO,CI,CO> compose(SULMapper<? super AI,? extends AO,ACI,CAO> outerMapper,
                                                                                                                   SULMapper<? super ACI,? extends CAO,? extends CI,? super CO> innerMapper)

apply

public static <AI,AO,CI,CO> SUL<AI,AO> apply(SULMapper<? super AI,? extends AO,CI,CO> mapper,
                                                                     SUL<? super CI,? extends CO> sul)