Package net.automatalib.util.automaton.vpa

Interface SymbolMapper<AI,​CI>

  • Type Parameters:
    AI - abstract input symbol type
    CI - concrete input symbol type
    All Known Implementing Classes:
    StringSymbolMapper
    public interface SymbolMapper<AI,​CI>
    An interface for mapping (abstract) SEVPA input symbols to concrete SPA input symbols.

    • Method Detail

      • mapCallSymbol

        CI mapCallSymbol​(AI ai)
        Returns for an abstract call symbol of a VPAlphabet its mapped call symbol of a ProceduralInputAlphabet.

        Note that this is a stateful operation, i.e., multiple calls to this method with the same argument should return distinct results.

        Parameters:
        ai - abstract (call) input symbol
        Returns:
        the concretized (call) input symbol

      • mapInternalSymbol

        CI mapInternalSymbol​(AI ai)
        Returns for an abstract internal symbol of a VPAlphabet its mapped internal symbol of a ProceduralInputAlphabet.

        Note that this is a stateless operation, i.e., multiple calls to this method with the same argument should return the same result.

        Parameters:
        ai - abstract (internal) input symbol
        Returns:
        the concretized (internal) input symbol

      • mapReturnSymbol

        CI mapReturnSymbol​(AI ai)
        Returns for an abstract return symbol of a VPAlphabet its mapped return symbol of a ProceduralInputAlphabet.

        Note that this is a stateless operation, i.e., multiple calls to this method with the same argument should return the same results.

        Parameters:
        ai - abstract (return) input symbol
        Returns:
        the concretized (return) input symbol