Package net.automatalib.util.automaton.vpa

Class StringSymbolMapper<AI>

  • Type Parameters:
    AI - abstract input symbol type
    All Implemented Interfaces:
    SymbolMapper<AI,​String>
    public class StringSymbolMapper<AI>
extends Object
implements SymbolMapper<AI,​String>
    A default implementation that maps abstract input symbol to their String representations while adding an incrementing number to mapped call symbols.

    • Constructor Detail

      • StringSymbolMapper

        public StringSymbolMapper()

    • Method Detail

      • mapCallSymbol

        public String mapCallSymbol​(AI s)
        Description copied from interface: SymbolMapper
        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.

        Specified by:
        mapCallSymbol in interface SymbolMapper<AI,​String>
        Parameters:
        s - abstract (call) input symbol
        Returns:
        the concretized (call) input symbol

      • mapInternalSymbol

        public String mapInternalSymbol​(AI s)
        Description copied from interface: SymbolMapper
        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.

        Specified by:
        mapInternalSymbol in interface SymbolMapper<AI,​String>
        Parameters:
        s - abstract (internal) input symbol
        Returns:
        the concretized (internal) input symbol

      • mapReturnSymbol

        public String mapReturnSymbol​(AI s)
        Description copied from interface: SymbolMapper
        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.

        Specified by:
        mapReturnSymbol in interface SymbolMapper<AI,​String>
        Parameters:
        s - abstract (return) input symbol
        Returns:
        the concretized (return) input symbol