Package net.automatalib.util.automaton.vpa

Interface Summary

Interface	Description
SymbolMapper<AI,CI>	An interface for mapping (abstract) SEVPA input symbols to concrete SPA input symbols.

Class Summary

Class	Description
OneSEVPAs	Operations on OneSEVPAs.
ProductOneSEVPA<L1,L2,I>	Production automaton that allows to join two given OneSEVPAs.
StringSymbolMapper<AI>	A default implementation that maps abstract input symbol to their String representations while adding an incrementing number to mapped call symbols.