Module net.automatalib.util
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 Details

    • 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