Uses of Interface
net.automatalib.util.automaton.vpa.SymbolMapper

Packages that use SymbolMapper

Package	Description
net.automatalib.util.automaton.vpa

Uses of SymbolMapper in net.automatalib.util.automaton.vpa

Classes in net.automatalib.util.automaton.vpa that implement SymbolMapper

Modifier and Type	Class	Description
class	StringSymbolMapper<AI>	A default implementation that maps abstract input symbol to their String representations while adding an incrementing number to mapped call symbols.

Methods in net.automatalib.util.automaton.vpa with parameters of type SymbolMapper

Modifier and Type	Method	Description
static <AI,CI> net.automatalib.util.automaton.vpa.SPAConverter.ConversionResult<AI,CI>	OneSEVPAs.toSPA(OneSEVPA<?,AI> sevpa, VPAlphabet<AI> alphabet, CI mainProcedure, SymbolMapper<AI,CI> symbolMapper, boolean minimize)	Converts a given SEVPA into an SPA by concretizing the (abstract) behavior of the SEVPA into the (concrete) behavior of an SPA which can be described by the copy-rule semantics of (instrumented) context-free grammars.